783 search results - page 7 / 157 » Compositional Reasoning in Model Checking |
110
Voted
CADE
2012
Springer
13 years 2 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...
80
Voted
TIME
2007
IEEE
15 years 5 months ago
2007
IEEE
LOPSTR
2001
Springer
15 years 4 months ago
2001
Springer
CADE
2000
Springer
15 years 4 months ago
2000
Springer
CL
2000
Springer
15 years 4 months ago
2000
Springer