261 search results - page 13 / 53 » Can Flash Memory Help in Model Checking |
123
Voted
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
123
Voted
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
124
Voted
FIW
2009
15 years 13 days ago
2009
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
131
Voted
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
142
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...