✦ LIBER ✦

Formal Reliability Analysis Using Theorem Proving

✍ Scribed by Hasan, O.; Tahar, S.; Abbasi, N.

Book ID: 118698074
Publisher: IEEE
Year: 2010
Tongue: English
Weight: 698 KB
Volume: 59
Category: Article
ISSN: 0018-9340
DOI: 10.1109/tc.2009.165

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach for lifetime reliability ana

An approach for lifetime reliability analysis using theorem proving

✍ Abbasi, Naeem; Hasan, Osman; Tahar, Sofiène 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 381 KB

Formally Analyzing Expected Time Complex

Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving

✍ Osman Hasan; Sofiène Tahar 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 371 KB

Probabilistic Analysis of Wireless Syste

Probabilistic Analysis of Wireless Systems Using Theorem Proving

✍ Osman Hasan; Sofiène Tahar 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 503 KB

An approach for the formal verification

An approach for the formal verification of DSP designs using Theorem proving

✍ Akbarpour, B.; Tahar, S. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 536 KB

Error analysis of digital filters using

Error analysis of digital filters using HOL theorem proving

✍ Behzad Akbarpour; Sofiène Tahar 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 240 KB

When a digital filter is realized with floating-point or fixed-point arithmetics, errors and constraints due to finite word length are unavoidable. In this paper, we show how these errors can be mechanically analysed using the HOL theorem prover. We first model the ideal real filter specification an

Error Analysis and Verification of an IE

Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving

✍ Abu Nasser Mohammed Abdullah; Behzad Akbarpour; Sofiène Tahar 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 569 KB