862 search results - page 69 / 173 » Model Checking Interrupt-Dependent Software |
100
click to vote
GG
2004
Springer
15 years 6 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
105
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
125
click to vote
ENTCS
2010
15 years 1 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
102
click to vote
DSN
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
116
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...