862 search results - page 18 / 173 » Model Checking Interrupt-Dependent Software |
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
FAC
2008
13 years 7 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
FASE
2003
Springer
14 years 27 days ago
2003
Springer
