On Improving Backwards Verification of Timed Automata.

Víctor A. Braberman Carlos López Pombo Alfredo Olivero

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

timed automata
model checking
reachability analysis
temporal logic
formal verification
theorem prover
verification method
theorem proving
machine learning
decision making
asynchronous circuits
computer vision
artificial intelligence
web pages
case study
bayesian networks
concurrent systems