Fault localization of timed automata using maximum satisfiability

DOI10.1007/978-3-319-31220-0_6zbMath1461.68103OpenAlexW2418042239MaRDI QIDQ2026559

Si-Mohamed Lamraoui, Shin Nakajima

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-31220-0_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Uses Software

• Yices
• Uppaal

This page was built for publication: Fault localization of timed automata using maximum satisfiability