4962 search results - page 225 / 993 » Stochastic Model Checking |
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
WIA
2007
Springer
14 years 3 months ago
2007
Springer
CCECE
2006
IEEE
14 years 3 months ago
2006
IEEE
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...