Login / Signup
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.
Ranan Fraer
Gila Kamhi
Barukh Ziv
Moshe Y. Vardi
Limor Fix
Published in:
CAV (2000)
Keyphrases
</>
reachability analysis
model checking
real time
relational databases
computationally efficient
markov decision processes
timed automata
data structure
expert systems
qualitative and quantitative
formal verification