Explaining safety violations in real-time systems

DOI10.1007/978-3-030-85037-1_7MaRDI QIDQ832041zbMATH OpenOpenAlexFDO

Authors Thomas Mari, Thao Dang, Gregor Gössler

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)

Cites work

• scientific article; zbMATH DE number 5344975 (Why is no real title available?)
• scientific article; zbMATH DE number 1390356 (Why is no real title available?)
• A theory of diagnosis from first principles
• Analysis of timed systems using time-abstracting bisimulations
• Causality analysis and fault ascription in component-based systems
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Clock bound repair for timed systems
• Dynamic program slicing
• Explaining counterexamples using causality
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Kronos: A verification tool for real-time systems
• Program Slicing
• Program repair without regret
• Uppaal in a nutshell

Cited in

(1)

• Explaining safety failures in NetKAT

Describes a project that uses

Uses Software

• Kronos
• Uppaal
• CADP
• TarTar

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

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