783 search results - page 7 / 157 » Compositional Reasoning in Model Checking |
143
Voted
CADE
2012
Springer
13 years 5 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
15 years 9 months ago
2007
IEEE
101
Voted
LOPSTR
2001
Springer
15 years 7 months ago
2001
Springer
116
Voted
CADE
2000
Springer
15 years 7 months ago
2000
Springer
88
Voted
CL
2000
Springer
15 years 7 months ago
2000
Springer