Reachability Analysis in Verification via Supercompilation.

Alexei Lisitsa Andrei P. Nemytykh

Published in: Int. J. Found. Comput. Sci. (2008)

Keyphrases

reachability analysis
model checking
timed automata
temporal logic
formal verification
verification method
markov decision processes
incremental algorithms
low cost
formal methods
data mining
decision making
modal logic