714 search results - page 3 / 143 » Certifying Model Checkers |
ISORC
1999
IEEE
14 years 26 days ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
SNPD
2008
13 years 10 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
PLDI
2000
ACM
14 years 28 days ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
CAV
2004
Springer
14 years 2 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
