337 search results - page 3 / 68 » Predicate abstraction for software verification |
78
Voted
FAC
2010
14 years 7 months ago
2010
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
VMCAI
2009
Springer
15 years 5 months ago
2009
Springer
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE