862 search results - page 26 / 173 » Model Checking Interrupt-Dependent Software |
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
ICCAD
2010
IEEE
13 years 5 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
ACMICEC
2007
ACM
13 years 11 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...