Login / Signup
Tool-Supported Program Abstraction for Finite-State Verification.
Matthew B. Dwyer
John Hatcliff
Roby Joehanes
Shawn Laubach
Corina S. Pasareanu
Robby
Hongjun Zheng
Willem Visser
Published in:
ICSE (2001)
Keyphrases
</>
finite state
model checking
markov chain
hardware designs
markov decision processes
formal verification
temporal logic
tree automata
optimal policy
formal specification
model checker
partially observable markov decision processes
context free
search space
probabilistic model