1 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Martin Koelbl, Stefan Leue, Thomas Wies
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 syn…