282 search results - page 32 / 57 » Verifying Commit-Atomicity Using Model-Checking |
142
Voted
CAV
2012
Springer
13 years 4 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
106
Voted
RTS
2008
15 years 1 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
106
click to vote
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
151
Voted
PERCOM
2010
ACM
15 years 2 days ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
212
click to vote
AMAST
2010
Springer
14 years 9 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...