2873 search results - page 68 / 575 » Model Checking and the Mu-calculus |
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
IGPL
2006
13 years 10 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
DSVIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
FMCO
2005
Springer
14 years 3 months ago
2005
Springer
ion and Refinement in Model Checking Orna Grumberg Technion, Haifa, Israel FMCO, Amsterdam November 2005