Shahid Khan 0002, Waqar Ahmad, Osman Hasan. A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis. In 18th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2022, Villasimius, Italy, June 12-15, 2022. pages 1-4, IEEE, 2022. [doi]
Abstract is missing.