Formalization of reliability block diagrams in higher-order logic

DOI10.1016/J.JAL.2016.05.007zbMATH Open1436.68390OpenAlexW2432950841MaRDI QIDQ334147FDOQ334147

Waqar Ahmed, Sofiène Tahar, Osman Hasan

Publication date: 31 October 2016

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2016.05.007

Recommendations

• Formalization of fault trees in higher-order logic: a deep embedding approach
• Towards Formal Fault Tree Analysis Using Theorem Proving
• Formalization of RBD-based cause consequence analysis in HOL
• Formal reliability analysis of combinational circuits using theorem proving
• A framework for formal dynamic dependability analysis using HOL theorem proving

zbMATH Keywords

probability theoryhigher-order logicreliability block diagrams (RBDs)virtual data centersvirtualization configuration

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• A theory of type polymorphism in programming
• A Brief Overview of HOL4
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards the Formal Reliability Analysis of Oil and Gas Pipelines
• On the Formalization of the Lebesgue Integration Theory in HOL

Cited In (3)

• Title not available (Why is that?)
• A framework for formal probabilistic risk assessment using \textsf{HOL} theorem proving
• Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation

Uses Software

• ML
• HOL

This page was built for publication: Formalization of reliability block diagrams in higher-order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q334147)