Login / Signup
Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification
Zhe Dang
Published in:
CoRR (2001)
Keyphrases
</>
model checking
timed automata
temporal logic
reachability analysis
verification method
formal verification
formal methods
state space
safety critical
asynchronous circuits
monitoring system
non binary
binary data
probability distribution
transitive closure