37 search results - page 2 / 8 » cav 2006 |
CAV
2006
Springer
13 years 8 months ago
2006
Springer
FMSD
2010
13 years 3 months ago
2010
Abstract The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance Boolean satisfiability solvers. ...
CAV
2006
Springer
13 years 8 months ago
2006
Springer
d Abstract) Jochen Eisinger1 and Felix Klaedtke2 1 Albert-Ludwigs-Universit
CAV
2006
Springer
13 years 8 months ago
2006
Springer
e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci
CAV
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...