72 search results - page 1 / 15 » Software model checking via large-block encoding |
FMCAD
2009
Springer
13 years 11 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
FASE
2003
Springer
13 years 9 months ago
2003
Springer
IJFCS
2006
13 years 4 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
COMPSAC
2004
IEEE
13 years 8 months ago
2004
IEEE
