783 search results - page 7 / 157 » Compositional Reasoning in Model Checking |
CADE
2012
Springer
11 years 10 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
TIME
2007
IEEE
14 years 1 months ago
2007
IEEE
LOPSTR
2001
Springer
14 years 3 days ago
2001
Springer
CADE
2000
Springer
14 years 12 hour ago
2000
Springer
CL
2000
Springer
14 years 10 hour ago
2000
Springer