Formal reliability analysis of combinational circuits using theorem proving

DOI10.1016/j.jal.2011.01.002zbMath1217.94140OpenAlexW2115026027MaRDI QIDQ545153

Sofiène Tahar, Osman Hasan, Jigar Patel

Publication date: 22 June 2011

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

Full work available at URL: https://spectrum.library.concordia.ca/974497/1/formal_reliability_analysis_of_combinational.pdf

zbMATH Keywords

theorem provingformal verificationhigher-order logicreliability analysisHOLcombinational circuits

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12)

Related Items

Formal Dependability Modeling and Analysis: A Survey, Towards the Formal Reliability Analysis of Oil and Gas Pipelines

Uses Software

• ML
• HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of type polymorphism in programming
• The Probability of a Correct Output from a Combinational Circuit
• Reliability Analysis of Large Circuits Using Scalable Techniques and Tools
• Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
• Formal Reliability Analysis Using Theorem Proving
• On Reliability Modeling and Analysis of Ultrareliable Fault-Tolerant Digital Systems