The paper “Formal Verification of Rewriting Rules for Dynamic Fault Trees” by Yassmeen Elderhalli (Concordia Univ.), Matthias Volk, Osman Hasan (Concordia), Joost-Pieter Katoen and Sofiene Tahar (Concordia) has been accepted at the 17th International Conference on Software Engineering and
Formal Methods (SEFM 2019). The paper models a set of existing rewrite rules for DFTs in HOL4 and provides mechanized proofs with HOL of the correctness of these rules.