„Program verification“
Suchergebnisse
1.065 Treffer
-
Verification, model checking, and abstract interpretation – 16th international conference ; proceedings
-
Static detection of software errors – precise and scalable algorithms for automatic detection of software errors
-
Run time reconfigurable co-emulation for hardware assisted functional verification and test of FPGA designs
-
Verification of object oriented software – the KeY approach
-
Verification of sequential imperative programs in Isabelle-HOL
-
CONCUR 2014 – Concurrency Theory – 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
-
19th International Conference on Types for Proofs and Programs (TYPES 2013)
-
Concurrency theory – 25th international conference ; proceedings
-
Mathematical foundations of computer science 2014
-
An improved rule for while loops in deductive program verification
-
Mathematical foundations of computer science 2014
-
14th International Workshop on Worst-Case Execution Time Analysis
-
Hardware and software verification and testing – revised selected papers
-
Interactive Theorem Proving – 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
-
Verification, model checking, and abstract interpretation – 7th international conference ; proceedings
-
Efficient verification of railway infrastructure designs against standard regulations
-
Feature selection for speaker verification using genetic programming
-
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)
-
Rewriting of higher-order-meta-expressions with recursive bindings
-
Contract-based modeling and verification of timed safety requirements within SysML