Repairing Timed Automata Clock Guards through Abstraction and Testing

Étienne André, Paolo Arcaini, Angelo Gargantini +1

Timed automata (TAs) are a widely used formalism to specify systems having temporal requirements. However, exactly specifying the system may be difficult, as the user may not know…