„Programmverifikation“
Suchergebnisse
470 Treffer
-
Cooperative Software Verification
-
Automated deductive verification of probabilistic programs
-
Cross-Resolution Face Verification
-
Applying software model checking: experiences and advancements
-
Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
-
Verification-based software-fault detection
-
Algebraic Calculi for Separation Logic
-
Compositional Concurrent Program Verification with RGITL
-
Automatic authorization analysis
-
Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C
-
Symbolic Execution of Distributed Systems
-
A Property Checking Methodology for Weakly Programmable System-on-Chip IPs – Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs
-
Planning and verification in the agent language Golog
-
Certified Programs and Proofs – First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
-
Verification-based software-fault detection
-
Development of Automatic Program Verification for Continuous Function Chart based on Model Checking
-
Abstraction refinement techniques for software model checking
-
On the formal foundation of a verification approach for system-level concurrent programs
-
Reasoning in combinations of theories
-
Inkrementelle Modellsynchronisation