493 search results - page 33 / 99 » Bounded LTL Model Checking with Stable Models |
CAV
2005
Springer
14 years 1 months ago
2005
Springer
CSL
2005
Springer
14 years 1 months ago
2005
Springer
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
DATE
2003
IEEE
14 years 29 days ago
2003
IEEE
: Binary Decision Diagrams (BDDs) have been widely used in synthesis and verification. Boolean Satisfiability (SAT) Solvers, on the other hand, have been gaining
CHARME
2003
Springer
14 years 27 days ago
2003
Springer
