1981 search results - page 2 / 397 » Model-Checking Hierarchical Structures |
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
ENTCS
2007
13 years 5 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
CHARME
2001
Springer
13 years 10 months ago
2001
Springer
ICFEM
2010
Springer
13 years 2 months ago
2010
Springer
CAV
2012
Springer
11 years 8 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...