Past pushdown timed automata and safety verification.

Zhe Dang Tevfik Bultan Oscar H. Ibarra Richard A. Kemmerer

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

Keyphrases

model checking
timed automata
temporal logic
reachability analysis
formal verification
verification method
concurrent systems
formal methods
real world
learning algorithm
asynchronous circuits
civil aviation
real time
historical information
expert systems
decision making
databases