Towards Quantitative Verification of Probabilistic Transition Systems.

Franck van Breugel James Worrell

Published in: ICALP (2001)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
model checker
formal verification
formal specification
finite state
formal methods
bayesian networks
distributed systems
petri net
practical reasoning
dynamic programming
description language