Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
CAV
2004
Springer
128views Hardware» more  CAV 2004»
11 years 5 months ago
Proving More Properties with Bounded Model Checking
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
Mohammad Awedh, Fabio Somenzi
CAV
2004
Springer
97views Hardware» more  CAV 2004»
11 years 5 months ago
Zing: A Model Checker for Concurrent Software
Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jak...
CAV
2004
Springer
96views Hardware» more  CAV 2004»
11 years 5 months ago
Widening Arithmetic Automata
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
Constantinos Bartzis, Tevfik Bultan
CAV
2004
Springer
89views Hardware» more  CAV 2004»
11 years 5 months ago
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement
Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Linta...
books