Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays

DOI10.1007/978-3-642-00255-7_19zbMath1211.68032OpenAlexW1531741303MaRDI QIDQ3605473

Osman Hasan, Sofiène Tahar, Naeem Abbasi

Publication date: 24 February 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-00255-7_19

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

Formalization of Normal Random Variables in HOL

Uses Software

• ML
• HOL
• VESTA

Cites Work

• Verification of Expectation Properties for Discrete Random Variables in HOL
• Formal verification of tail distribution bounds in the HOL theorem prover
• Formalization of Continuous Probability Distributions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item