Formal Verification of Rewriting Rules for Dynamic Fault Trees

DOI10.1007/978-3-030-30446-1_27MaRDI QIDQ6488988

Yassmeen Elderhalli, Matthias Volk, Joost-Pieter Katoen, Osman Hasan, Sofiène Tahar

Publication date: 14 March 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
• Fault trees on a diet: automated reduction by graph rewriting
• Fundamentals of algebraic graph transformation
• Formalization of Entropy Measures in HOL
• On the Formalization of the Lebesgue Integration Theory in HOL

This page was built for publication: Formal Verification of Rewriting Rules for Dynamic Fault Trees