A Semantics Based Verification Tool for Finite State Systems.

Rance Cleaveland Joachim Parrow Bernhard Steffen

Published in: PSTV (1989)

Keyphrases

finite state
model checking
markov chain
markov decision processes
formal methods
optimal policy
formal specification