Verification of Timed Automata via Satisfiability Checking.

Peter Niebert Moez Mahfoudh Eugene Asarin Marius Bozga Oded Maler Navendu Jain

Published in: FTRTFT (2002)

Keyphrases

timed automata
model checking
temporal logic
reachability analysis
formal verification
verification method
theorem prover
formal methods
concurrent systems
data sets
neural network
case study
video sequences
software engineering
first order logic