TarTar: A Timed Automata Repair Tool.

Martin Kölbl Stefan Leue Thomas Wies

Published in: CAV (1) (2020)

Keyphrases

timed automata
model checking
reachability analysis
data mining
artificial intelligence
similarity measure
databases
image processing
data structure
hidden markov models
scheduling problem
theorem proving
real time systems