Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: TarTar: A Timed Automata Repair Tool   We present TarTar, an automatic repair analysis tool that, given a timed
diagnostic trace (TDT) obtained during the model checking of a timed automaton
model, suggests possible syntactic repairs of the analyzed model. The suggested
repairs include modified values for clock bounds in location invariants and
transition guards, adding or removing clock resets, etc. The proposed repairs
are guaranteed to eliminate executability of the given TDT, while preserving
the overall functional behavior of the system. We give insights into the design
and architecture of TarTar, and show that it can successfully repair 69% of the
seeded errors in system models taken from a diverse suite of case studies.

5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin
16
The categories of this paper are: stat
10
The categories of this paper are: q-bio