Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.

Håkan L. S. Younes Marta Z. Kwiatkowska Gethin Norman David Parker

Published in: TACAS (2004)

Keyphrases

model checking
temporal logic
formal verification
automated verification
formal specification
finite state
partial order reduction

model checker
temporal properties
symbolic model checking
finite state machines
reachability analysis
pspace complete
computation tree logic

bounded model checking
verification method
bayesian networks
timed automata
epistemic logic
formal methods
reactive systems

process algebra
transition systems
linear temporal logic
asynchronous circuits
artificial intelligence
concurrent systems
probabilistic reasoning