Complete symbolic reachability analysis using back-and-forth narrowing.

Prasanna Thati José Meseguer

Published in: Theor. Comput. Sci. (2006)

Keyphrases

reachability analysis
markov decision processes
model checking
symbolic representation
high level
information technology
state space
incremental algorithms