1023 search results - page 18 / 205 » Model Checking: Software and Beyond |
111
click to vote
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
APSEC
2005
IEEE
15 years 7 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...
110
click to vote
CAV
2007
Springer
15 years 5 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
102
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
106
click to vote
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...