Automata Based Symbolic Reasoning in Hardware Verification (1998)

by David Basin , Nils Klarlund
Citations:18 - 11 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
53 Mona Fido: The Logic-Automaton Connection in Practice – Nils Klarlund - 1998
217 Weak second-order arithmetic and finite automata – J R Büchi - 1960
879 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
34 Weak monadic second-order theory of successor is not elementary recursive – Albert R Meyer - 1972
23 Combining WS1S and HOL – David Basin, Stefan Friedrich - 1998
29 MONA 1.x: New Techniques for WS1S and WS2S – Jacob Elgaard, Nils Klarlund, Anders Møller
58 Decision problems of finite automata design and related arithmetics – Elg61 C C Elgot - 1961
14 Verification of a sliding window protocol using IOA and MONA – M A Smith, N Klarlund
6 Structural and Behavioral Modeling with Monadic Logics – Abdelwaheb Ayari , David Basin, Stefan Friedrich - 1999
10 LISA: A Specification Language Based on WS2S – Abdelwaheb Ayari, David Basin, Andreas Podelski - 1998
7 A theory of restrictions for logics and automata – Nils Klarlund - 1999
24 Compile-Time Debugging of C Programs Working on Trees – Jacob Elgaard, Anders Møller, Michael I. Schwartzbach - 2000
169 Tree acceptors and some of their applications – J Doner - 1970
15 Finite automata and the logic of one-place predicates – B A Trakhtenbrot - 1962
82 logic – automata Languages - 1997
23 Mosel: A Flexible Toolset for Monadic Second-Order Logic – Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger - 1997
10 MONA Version 1.3 - User Manual – Nils Klarlund, Anders Møller - 1998
145 The Pointer Assertion Logic Engine – Anders Møller, Michael I. Schwartzbach - 2001