Login / Signup
Interrupt Timed Automata: verification and expressiveness
Béatrice Bérard
Serge Haddad
Mathieu Sassolas
Published in:
CoRR (2012)
Keyphrases
</>
timed automata
model checking
formal verification
temporal logic
reachability analysis
verification method
formal methods
concurrent systems
asynchronous circuits
expressive power
theorem prover
theorem proving
real time
databases
first order logic
multiscale
similarity measure
machine learning