862 search results - page 1 / 173 » Model Checking Interrupt-Dependent Software |
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
JUCS
2007
13 years 4 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
SPIN
1999
Springer
13 years 9 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
ESEC
1999
Springer
13 years 9 months ago
1999
Springer
FSTTCS
1998
Springer
13 years 8 months ago
1998
Springer