Repairing timed automata clock guards through abstraction and testing

DOI10.1007/978-3-030-31157-5_9MaRDI QIDQ6536174zbMATH OpenFDO

Authors Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli

Publication date 5 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-31157-5_9

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Clock bound repair for timed systems
• Automated repair for timed systems
• Timed automata robustness analysis via model checking
• Timed automata relaxation for reachability
• scientific article; zbMATH DE number 1507209

Cites work

• A theory of timed automata
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• Event-clock automata: a determinizable class of timed automata
• Learning of event-recording automata
• Learning regular sets from queries and counterexamples
• Learning-based compositional parameter synthesis for event-recording automata
• Lectures on Concurrency and Petri Nets
• Linear parametric model checking of timed automata
• Parametric real-time reasoning
• Testing timed automata

Cited in

(1)

• Clock bound repair for timed systems

This page was built for publication: Repairing timed automata clock guards through abstraction and testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536174)