Towards the Formal Reliability Analysis of Oil and Gas Pipelines

DOI10.1007/978-3-319-08434-3_4zbMath1304.68151arXiv1405.6985OpenAlexW80953181MaRDI QIDQ5495912

Osman Hasan, Mohammad Salah Hamdi, Sofiène Tahar, Waqar Ahmed

Publication date: 7 August 2014

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

Full work available at URL: https://arxiv.org/abs/1405.6985

zbMATH Keywords

theorem provingformal methodsreliability block diagramsoil and gas pipeline

Mathematics Subject Classification ID

Related Items (5)

Towards Formal Fault Tree Analysis Using Theorem Proving ⋮ Formalization of reliability block diagrams in higher-order logic ⋮ Formalization of Normal Random Variables in HOL ⋮ Formal Dependability Modeling and Analysis: A Survey ⋮ 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
• An approach for lifetime reliability analysis using theorem proving
• Formal reliability analysis of combinational circuits using theorem proving
• A theory of type polymorphism in programming
• Probability and Statistics with Reliability, Queuing and Computer Science Applications
• Three Chapters of Measure Theory in Isabelle/HOL
• Formal Methods: State of the Art and New Directions
• A Brief Overview of HOL4
• Formalization of Continuous Probability Distributions
• Formal Reliability Analysis Using Theorem Proving
• Verification of Tail Distribution Bounds in a Theorem Prover
• On the Formalization of the Lebesgue Integration Theory in HOL
• A formulation of the simple theory of types

This page was built for publication: Towards the Formal Reliability Analysis of Oil and Gas Pipelines