Formal Reliability Analysis Using Theorem Proving

DOI10.1109/TC.2009.165zbMath1366.94784OpenAlexW2058949335MaRDI QIDQ5280761

Osman Hasan, Naeem Abbasi, Sofiène Tahar

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

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

Related Items (5)

An approach for lifetime reliability analysis using theorem proving ⋮ Formal reliability analysis of combinational circuits using theorem proving ⋮ Formal Dependability Modeling and Analysis: A Survey ⋮ Towards Robustness Analysis Using PVS ⋮ Towards the Formal Reliability Analysis of Oil and Gas Pipelines

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