650 search results - page 107 / 130 » The SpinJa Model Checker |
223
Voted
POPL
2004
ACM
16 years 23 days ago
2004
ACM
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
104
Voted
ICSE
2007
IEEE-ACM
16 years 16 days ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
104
click to vote
ICSE
2008
IEEE-ACM
16 years 16 days ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
87
Voted
DAC
2009
ACM
15 years 7 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
109
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...