Interrupt Timed Automata: verification and expressiveness.

Béatrice Bérard Serge Haddad Mathieu Sassolas

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

timed automata
model checking
reachability analysis
temporal logic
formal verification
verification method
expressive power
concurrent systems
first order logic
theorem prover
theorem proving
formal methods
face verification
asynchronous circuits
databases
data model
knowledge base
machine learning