17 search results - page 4 / 4 » Symbolic Model Checking Using SAT Procedures instead of BDDs |
CAV
2004
Springer
13 years 10 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...
CADE
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...