Timed Automata Benchmark Description.

Peter Fontana Rance Cleaveland

Published in: CoRR (2020)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
high level
theorem proving
first order logic
comparative analysis
data mining
wide range
low cost
real time systems
information systems
image processing
three dimensional
supervised learning