Stochastic Model Checking of the Stochastic Quality Calculus.

Flemming Nielson Hanne Riis Nielson Kebin Zeng

Published in: Software, Services, and Systems (2015)

Keyphrases

model checking
temporal logic
timed automata
formal specification
formal verification
transition systems
finite state
monte carlo
linear temporal logic
process algebra
automated verification
reachability analysis
symbolic model checking
verification method
temporal properties
epistemic logic
formal methods