Formal Verification of Rewriting Rules for Dynamic Fault Trees

Elderhalli, Yassmeen (Corresponding author); Volk, Matthias; Hasan, Osman; Katoen, Joost-Pieter; Tahar, Sofiène

Cham : Springer (2019)
Contribution to a book, Contribution to a conference proceedings

In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : Proceedings / Peter Csaba Ölveczky, Gwen Salaün (Eds.)
Page(s)/Article-Nr.: 513-531


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]