862 search results - page 34 / 173 » Model Checking Interrupt-Dependent Software |
FMCAD
2009
Springer
14 years 2 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...
PADL
2007
Springer
14 years 1 months ago
2007
Springer
SPIN
2005
Springer
14 years 1 months ago
2005
Springer
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
CIBSE
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...