Sciweavers

82
Voted
TACAS
2005
Springer
98views Algorithms» more  TACAS 2005»
15 years 2 months ago
Monte Carlo Model Checking
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
Radu Grosu, Scott A. Smolka