|
104
|
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
|
|
50
|
Mona Fido: The Logic-Automaton Connection in Practice
– Nils Klarlund
- 1998
|
|
182
|
Weak second-order arithmetic and finite automata
– J Büchi
- 1960
|
|
793
|
Symbolic Boolean manipulation with ordered binary-decision diagrams
– Randal E Bryant
- 1992
|
|
31
|
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
|
|
25
|
MONA 1.x: New Techniques for WS1S and WS2S
– Jacob Elgaard, Nils Klarlund, Anders Møller
|
|
48
|
Decision problems of finite automata design and related arithmetics
– Calvin C Elgot
- 1961
|
|
11
|
Verification of a sliding window protocol using IOA and MONA
– M 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
|
|
157
|
Tree acceptors and some of their applications
– John Doner
- 1970
|
|
14
|
Finite automata and the logic of one-place predicates
– B A Trakhtenbrot
- 1962
|
|
68
|
and logic
– automata Languages
- 1997
|
|
21
|
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
|
|
128
|
The Pointer Assertion Logic Engine
– Anders Møller, Michael I. Schwartzbach
- 2001
|
