TarTar: A Timed Automata Repair Tool.

Martin Kölbl Stefan Leue Thomas Wies

Published in: CoRR (2020)

Keyphrases

timed automata
model checking
reachability analysis
learning algorithm
artificial intelligence
data structure
software engineering
low cost