A Uniform Framework for Timed Automata and Beyond.

Tomasz Brengos Marco Peressotti

Published in: CoRR (2017)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
temporal logic
real time
machine learning