Formal reliability analysis of combinational circuits using theorem proving
type: Item
instance of: scholarly article
title: Formal reliability analysis of combinational circuits using theorem proving
zbMATH Open document ID: 1217.94140
author: Osman Hasan
author: Jigar Patel
author: Sofiène Tahar
published in: Journal of Applied Logic
publication date: 2011-06-22T00:00:00Z
full work available at URL: formal reliability analysis of combinational.pdf
Mathematics Subject Classification ID: 94C12
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5911157
zbMATH Keywords: formal verification
zbMATH Keywords: higher-order logic
zbMATH Keywords: HOL
zbMATH Keywords: reliability analysis
zbMATH Keywords: theorem proving
zbMATH Keywords: combinational circuits
describes a project that uses: ML
describes a project that uses: HOL
MaRDI profile type: Publication
OpenAlex ID: W2115026027
cites work: Q2733893
cites work: Reliability Analysis of Large Circuits Using Scalable Techniques and Tools
cites work: Q3723577
cites work: Q5287513
cites work: Formal Reliability Analysis Using Theorem Proving
cites work: Q4217794
cites work: On Reliability Modeling and Analysis of Ultrareliable Fault-Tolerant Digital Systems
cites work: A theory of type polymorphism in programming
cites work: The Probability of a Correct Output from a Combinational Circuit
cites work: Q5687569
cites work: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
DOI: 10.1016/J.JAL.2011.01.002
description: scientific article; zbMATH DE number 5911157