Pushdown timed automata: a binary reachability characterization and safety verification.

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

Keyphrases

model checking
timed automata
temporal logic
formal verification
reachability analysis
formal methods
verification method
safety critical
state space
asynchronous circuits
machine learning
modal logic
binary data
real time
transitive closure