Automata Based Symbolic Reasoning in Hardware Verification (1998)

by David Basin , Nils Klarlund
Citations:18 - 11 self

Active Bibliography

25 Hardware Verification using Monadic Second-Order Logic – David A. Basin, Nils Klarlund - 1995
70 MONA Implementation Secrets – Nils Klarlund, Anders Møller, Michael Schwatzbach - 2000
53 Mona Fido: The Logic-Automaton Connection in Practice – Nils Klarlund - 1998
39 Experience with embedding hardware description languages in HOL – Richard Boulton, Andrew Gordon, Mike Gordon, John Harrison, John Herbert, John Van Tassel - 1992
9 Representation and Symbolic Manipulation of Linearly Inductive Boolean Functions – Aarti Gupta, Allan L. Fisher - 1993
121 MONA: Monadic Second-Order Logic in Practice – Jesper G. Henriksen, Ole J.L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders B. Sandholm - 1995
16 Parametric Circuit Representation Using Inductive Boolean Functions – Aarti Gupta, Allan L. Fisher - 1993
Verification of Systolic Arrays in M2L(Str) – Tiziana Margaria - 1996
6 Existential Second-Order Logic over Strings – Thomas Eiter, Georg Gottlob, Yuri Gurevich - 1998
24 Composite Model Checking: Verification with Type-Specific Symbolic Representations – Tevfik Bultan, Richard Gerber, Christopher League - 2000
14 Implementing a Model Checker for LEGO – Shenwei Yu, Zhaohui Luo - 1997
4 Formalizing Inductive Proofs of Network Algorithms – Ramesh Bharadwaj, Amy Felty, Frank Stomp - 1995
9 The weakness of self-complementation – Orna Kupferman, Moshe Y. Vardi - 1999
10 Regular Model Checking – Marcus Nilsson - 2000
An Efficient Decision Procedure for S1S – Klaus Schneider, Holger Weindel
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
3 Five Ways to Use Induction and Symmetry in the Verification of Networks of Processes By Model-Checking – M. Calder, A. Miller - 2002
1 Model Checking and Deduction for Infinite-State Systems – Henny B. Sipma, Tomás E. Uribe, Tom'as E. Uribe, Zohar Manna
Decision Procedures For Inductive Boolean . . . – Abdelwaheb Ayari, David Basin, Felix Klaedtke - 2003