223 search results - page 5 / 45 » Multi-Valued Model Checking via Classical Model Checking |
AAAI
2004
14 years 10 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
AAAI
2010
14 years 11 months ago
2010
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
FMCAD
2009
Springer
15 years 4 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...
75
Voted
FASE
2003
Springer
15 years 2 months ago
2003
Springer
CL
2000
Springer
15 years 1 months ago
2000
Springer