Formal Reliability Analysis Using Theorem Proving

DOI10.1109/TC.2009.165MaRDI QIDQ5280761zbMATH OpenOpenAlexFDO

Authors Osman Hasan, Sofiène Tahar, Naeem Abbasi

Publication date 27 July 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.2009.165

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Fault detection; testing in circuits and networks (94C12)

Cited in

(8)

• Formal dependability modeling and analysis: a survey
• Towards robustness analysis using PVS
• Towards Formal Fault Tree Analysis Using Theorem Proving
• Towards Automatic Stability Analysis for Rely-Guarantee Proofs
• An approach for lifetime reliability analysis using theorem proving
• Formal reliability analysis of combinational circuits using theorem proving
• Towards the formal reliability analysis of oil and gas pipelines
• Formal reliability analysis of redundancy architectures

This page was built for publication: Formal Reliability Analysis Using Theorem Proving

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