Hardware Verification using Monadic Second-Order Logic (1995)

Cached

Download Links

by David A. Basin , Nils Klarlund
Venue:IN COMPUTER AIDED VERIFICATION : 7TH INTERNATIONAL CONFERENCE, CAV '95, LNCS 939
Citations:25 - 10 self

Documents Related by Co-Citation

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
477 Automata on infinite objects, in – W Thomas - 1990
11 Automated Logical Verification based on Trace Abstractions – Nils Klarlund, Nils Klarlund, Mogens Nielsen, Mogens Nielsen, Kim Sunesen, Kim Sunesen, Ny Munkegade - 1995
879 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
53 Mona Fido: The Logic-Automaton Connection in Practice – Nils Klarlund - 1998
339 On a decision method in restricted second order arithmetic – J R Büchi - 1960
22 Symbolic Protocol Verification with Queue BDDs – Patrice Godefroid, David E. Long - 1997
7 A case study in automated verification based on trace abstractions – Nils Klarlund, Mogens Nielsen, Kim Sunesen - 1996
23 Mosel: A Flexible Toolset for Monadic Second-Order Logic – Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger - 1997
9 Representation and Symbolic Manipulation of Linearly Inductive Boolean Functions – Aarti Gupta, Allan L. Fisher - 1993
217 Weak second-order arithmetic and finite automata – J R Büchi - 1960
1297 Symbolic Model Checking – K L McMillan - 1993
266 The Classical Decision Problem – E Börger, E Grädel, Y Gurevich - 1996
32 Efficient breadth-first manipulation of Binary Decision Diagrams – P Ashar, M Cheong - 1994
3 Accounting for the performance of Standard ML on the DEC Alpha – George C. Necula, Lal George - 1994
4 RS-96-25 Devdatt Dubhashi and Desh Ranjan. Balls and Bins: A Study in Negative Dependence – Kim G Larsen Jensen, Arne Skou - 1996
13 An Equational Axiomatization for Multi-Exit Iteration – Wan J. Fokkink, Luca Aceto, Luca Aceto, Wan Fokkink, Xn Pnx Qn - 1996
18 Breadth-first manipulation of SBDD of Boolean function for vector processing – H Ochi, N Ishiura, S Yajima - 1991