„Programmverifikation“

Suchergebnisse

470 Treffer

• Cooperative Software Verification
  Haltermann, Jan ; Wehrheim, Heike ; Strejček, Jan 2025 BIS der Universität Oldenburg
• Automated deductive verification of probabilistic programs
  Batz, Kevin ; Katoen, Joost-Pieter ; Hasuo, Ichiro 2024 Universitätsbibliothek der RWTH Aachen
• Cross-Resolution Face Verification
  Knoche, Martin ; Rigoll, Gerhard ; Diepold, Klaus 2024 Universitätsbibliothek der TU München
• Applying software model checking: experiences and advancements
  Berger, Philipp ; Katoen, Joost-Pieter ; Beyer, Dirk 2024 Universitätsbibliothek der RWTH Aachen
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin ; Schmitt, P. H. 2011 KIT Scientific Publishing
• Verification-based software-fault detection
  Gladisch, Christoph ; Beckert, B. 2011 KIT Scientific Publishing
• Algebraic Calculi for Separation Logic
  Dang, Han Hing ; Möller, Bernhard 2015 Universität Augsburg
• Compositional Concurrent Program Verification with RGITL
  Tofan, Bogdan ; Reif, Wolfgang 2014 Universität Augsburg
• Automatic authorization analysis
  Lamotte-Schubert, Manuel ; Weidenbach, Christoph 2015 Saarländische Universitäts- und Landesbibliothek
• Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C
  Schmaltz, Sabine Bettina ; Paul, Wolfgang J. 2013 Saarländische Universitäts- und Landesbibliothek
• Symbolic Execution of Distributed Systems
  Sasnauskas, Raimondas 2013 Shaker
• A Property Checking Methodology for Weakly Programmable System-on-Chip IPs – Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs
  Loitz, Sacha 2014 Shaker
• Planning and verification in the agent language Golog
  Claßen, Jens 2013 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Certified Programs and Proofs – First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
  Gonthier, Georges ; Norrish, Michael 2011 Springer International Publishing
• Verification-based software-fault detection
  Gladisch, Christoph
• Development of Automatic Program Verification for Continuous Function Chart based on Model Checking
  Wardana, Awang Noor Indra 2009 Kassel University Press
• Abstraction refinement techniques for software model checking
  Seghir, Mohamed Nassim
• On the formal foundation of a verification approach for system-level concurrent programs
  Daum, Matthias
• Reasoning in combinations of theories
  Ihlemann, Carsten
• Inkrementelle Modellsynchronisation
  Wagner, Robert