577 search results - page 22 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
ENTCS
2002
13 years 7 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
SPIN
2007
Springer
14 years 2 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
TACAS
1998
Springer
14 years 2 days ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
CVBIA
2005
Springer
14 years 1 months ago
2005
Springer
Accurate and robust estimation of the three-dimensional left ventricular geometry and deformation has important clinical implications for better diagnosis and understanding of isch...