ATAC: A Tool for Automating Timed Automata Construction.

Beyazit Yalcinkaya Ebru Aydin Gol

Published in: CoRR (2019)

Keyphrases

timed automata
reachability analysis
databases
model checking
machine learning
three dimensional
software tools
artificial intelligence
decision making
web services
similarity measure
first order logic
temporal constraints
theorem prover
analysis tool