Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems.

Published in: CAI (2013)

Keyphrases

model checking
verification method
temporal logic
automated verification
reactive systems
dynamic programming
distributed systems
np complete
finite state
temporal properties