Formalization of RBD-based cause consequence analysis in HOL

DOI10.1007/978-3-030-81097-9_4zbMath1485.68289OpenAlexW3168789248MaRDI QIDQ2128793

Sofiène Tahar, Mohamed Abdelghany

Publication date: 22 April 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-81097-9_4

zbMATH Keywords

theorem provinghigher-order logicevent treecause-consequence diagramreliability block diagram

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)

Related Items (1)

Formalization of functional block diagrams using HOL theorem proving

Uses Software

• HOL
• GitHub

This page was built for publication: Formalization of RBD-based cause consequence analysis in HOL