Formalization of reliability block diagrams in higher-order logic

DOI10.1016/j.jal.2016.05.007zbMath1436.68390OpenAlexW2432950841MaRDI QIDQ334147

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

zbMATH Keywords

higher-order logicprobability theoryreliability block diagrams (RBDs)virtual data centersvirtualization configuration

Mathematics Subject Classification ID

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

Related Items

Unnamed Item, Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation

Uses Software

• ML
• HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of type polymorphism in programming
• A Brief Overview of HOL4
• Towards the Formal Reliability Analysis of Oil and Gas Pipelines
• On the Formalization of the Lebesgue Integration Theory in HOL