„program verification“
Suchergebnisse
1.065 Treffer
-
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
-
Building Bulletproof Software: How Formal Verification Saves the Day
-
Verifikation abstrakter Zustandsmaschinen
-
Iterative solution of linear systems with improved arithmetic and result verification
-
Verification-based software-fault detection
-
Development of Automatic Program Verification for Continuous Function Chart based on Model Checking
-
On the formal foundation of a verification approach for system-level concurrent programs
-
Beyond Synthesis: Mastering VHDL for Efficient System Design
-
Securing the System: Formal Methods for Error-Free Software
-
Cartesian abstraction and verification of multithreaded programs
-
Extending the reach and power of deductive program verification
-
Verification of Pointer Programs
-
Deductive verification of safety-critical Java programs
-
OS verification extended – on the formal verification of device drivers and the correctness of client-server software
-
Verification of second-order functional programs
-
Runtime verification – 9th international workshop ; selected papers
-
Quantum Circuit Verification - A Potential Roadmap (Invited Talk)