Explaining safety violations in real-time systems

DOI10.1007/978-3-030-85037-1_7OpenAlexW3195992302MaRDI QIDQ832041

Gregor Gössler, Thomas Mari, Thao Dang

Publication date: 24 March 2022

Full work available at URL: https://hal.inria.fr/hal-03348046/file/RR-9420.pdf

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• Kronos
• Uppaal
• CADP
• TarTar

Cites Work

• Unnamed Item
• Unnamed Item
• Explaining counterexamples using causality
• Program repair without regret
• A theory of diagnosis from first principles
• Dynamic program slicing
• Kronos: A verification tool for real-time systems
• Uppaal in a nutshell
• Causality analysis and fault ascription in component-based systems
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Program Slicing
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Analysis of timed systems using time-abstracting bisimulations
• Clock bound repair for timed systems

This page was built for publication: Explaining safety violations in real-time systems