Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking

Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar. Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking. In Aaron Dutle, César A. Muñoz, Anthony Narkawicz, editors, NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Volume 10811 of Lecture Notes in Computer Science, pages 139-156, Springer, 2018. [doi]

Abstract

Abstract is missing.