„Programmverifikation“

Suchergebnisse

1.000+ Treffer

• Software Engineering and Formal Methods – 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2014 Springer International Publishing
• Tools and Algorithms for the Construction and Analysis of Systems – 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
  Legay, Axel ; Margaria, Tiziana 2017 Springer Berlin Heidelberg
• Generalized equivalence checking of concurrent programs
  Bisping, Benjamin ; Nestmann, Uwe ; van Glabbeek, Rob J. ; Groote, Jan Friso 2025 Technische Universität Berlin
• The Foundations of Program Verification
  1987 Vieweg+Teubner Verlag
• Tools and Algorithms for the Construction and Analysis of Systems – 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
  Legay, Axel ; Margaria, Tiziana 2017 Springer Berlin Heidelberg
• Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse
  Mann, Matthias ; Schmidt-Schauß, Manfred 1999 Univ.-Bibliothek Frankfurt am Main
• A Link Between Anomaly Detection and Runtime Verification
  Heermann, Hagen ; Grimm, Christoph 2025 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Programmverifikationssystem Tatzelwurm – Weiterentwicklung während des KORSO-Projekts
  Deussen, Peter 1995 Univ., Fak. für Informatik
• Modelling, verification and test of high-level robotic plans – Modellierung, Verifikation und Test von abstrakten robotischen Plänen
  Meywerk, Tim ; Drechsler, Rolf ; Beetz, Michael 2023 Staats- und Universitätsbibliothek Bremen
• Evidence-Oriented Tracing and Verification, The Declaration of Timeprints
  Massoud, Rehab ; Drechsler, Rolf ; Bertacco, Valeria 2021 Staats- und Universitätsbibliothek Bremen
• Certificates for automata in a hostile environment
  Muskalla, Sebastian ; Meyer, Roland ; Holík, Lukáš ; Zetzsche, Georg 2024 Technische Universität Braunschweig
• Automatic test Case generation for PLC software
  Simon, Hendrik ; Kowalewski, Stefan ; Weyrich, Michael 2023 Universitätsbibliothek der RWTH Aachen
• Automated termination analysis of C programs
  Hensel, Jera ; Giesl, Jürgen ; David, Cristina 2023 Universitätsbibliothek der RWTH Aachen
• Towards cooperative software verification with test generation and formal verification
  Lemberger, Thomas ; Beyer, Dirk 2022 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Policy iteration for value set analysis of PLC programs
  Völker, Marcus ; Kowalewski, Stefan ; Beckert, Bernhard 2023 Universitätsbibliothek der RWTH Aachen
• Witness-based validation of verification results with applications to software-model checking
  Dangl, Matthias ; Beyer, Dirk 2022 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Scaling Correctness-by-Construction
  Bordis, Tabea ; Schaefer, Ina ; Broch Johnsen, Einar 2025 KIT-Bibliothek
• Verification of asynchronous hyperproperties
  Ohrem, Christoph ; Müller-Olm, Markus 2025 Universitäts- und Landesbibliothek Münster
• Exploring cooperative verification – survey, tools, and experiments
  Kanav, Sudeep ; Beyer, Dirk 2024 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Leveraging invariant information towards incremental Software Model Checking
  Spiessl, Martin ; Beyer, Dirk 2024 Universitätsbibliothek der Ludwig-Maximilians-Universität