Managing space for finite-state verification.

Jianbin Tan George S. Avrunin Lori A. Clarke

Published in: ICSE (2006)

Keyphrases

finite state
model checking
markov chain
markov decision processes
temporal logic
optimal policy
search space
policy iteration
model checker
transition systems
action sets
formal specification
formal verification
vector space
context free
tree automata