2 search results - page 1 / 1 » LCF-style for Secure Verification Platform based on Multiway... |
CIIA
2009
13 years 5 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
ATVA
2004
Springer
13 years 8 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...