Sciweavers

Share
2 search results - page 1 / 1
» Programming a Symbolic Model Checker in a Fully Expansive Th...
Sort
View
TPHOL
2003
IEEE
10 years 4 months ago
Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover
Abstract. Model checking and theorem proving are two complementary approaches to formal veriļ¬cation. In this paper we show how binary decision diagram (BDD) based symbolic model ...
Hasan Amjad
BCS
2008
10 years 1 months ago
Hardware Dependability in the Presence of Soft Errors
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
Ashish Darbari, Bashir M. Al-Hashimi
books