Formalization of functional block diagrams using HOL theorem proving

DOI10.1007/978-3-031-22476-8_2zbMath1528.68395OpenAlexW4312383880MaRDI QIDQ6113896

Mohamed Abdelghany, Sofiène Tahar

Publication date: 10 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-22476-8_2

zbMATH Keywords

theorem provinghigher-order logicHOL4safety analysisevent treesfunctional block diagrams

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Reliability, testing and fault tolerance of networks and computer systems (68M15) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Unnamed Item
• Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation
• Formalization of RBD-based cause consequence analysis in HOL
• A framework for formal dynamic dependability analysis using HOL theorem proving

This page was built for publication: Formalization of functional block diagrams using HOL theorem proving