Jesper G. Henriksen, Ole J.L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders B. Sandholm  Home/Search
Context Related
| brics.dk/RS/95/Ref...ICSRS9521.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brics.dk/RS/95/Ref/BRICSRS95... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The purpose of this article is to introduce Monadic Secondorder Logic as a practical means of specifying regularity. The logic is a highly succinct alternative to the use of regular expressions. We have built a tool MONA, which acts as a decision procedure and as a translator to finitestate automata. The tool is based on new algorithms for minimizing finitestate automata that use binary decision diagrams (BDDs) to represent transition functions in compressed form. A byproduct of this work ... (Update)
Cited by: More
Existential Second-Order Logic over Strings (Extended.. - Eiter, Gottlob, Gurevich (1997) (Correct)
Graphs in MetaFrame: The Unifying Power of Polymorphism - von der Beeck, Braun.. (1997) (Correct)
The Boundary between Decidability and.. - Immerman.. (2004) (Correct)
Similar documents (at the sentence level): More
50.3%: MONA: Monadic Second-Order Logic in Practice - Henriksen, Jensen, Jørgensen.. (1995) (Correct)
48.5%: Programming Languages: Design, Analysis, and Semantics - Sandholm (2000) (Correct)
42.7%: Logics and Automata for Verification: Expressiveness and.. - Henriksen (2000) (Correct)
Active bibliography (related documents): More All
0.3: Beyond Regular Model Checking - Fisman, Pnueli (2001) (Correct)
0.2: A Model for Objects Behavior - Augeraud (1995) (Correct)
0.2: Partial Model Checking (Extended Abstract) - Andersen (1995) (Correct)
Similar documents based on text: More All
1.3: On the Comparison Complexity of the String.. - Breslauer, Colussi.. (1995) (Correct)
1.3: Optimal Parallel Construction of Minimal Suffix and Factor.. - Breslauer, Hariharan (1995) (Correct)
1.3: The Girard Translation Extended with Recursion - Braüner (1995) (Correct)
Related documents from co-citation: More All
17: Automata on infinite objects (context) - Thomas - 1990
16: Graph-based algorithms for boolean function manipulation - Bryant - 1986
15: Hardware verification using monadic second-order logic - Basin, Klarlund - 1995
BibTeX entry: (Update)
J.G. Henriksen, J. Jensen, M. Jørgensen, N. Klarlund, B. Paige, T. Rauhe, and A. Sandholm. Mona: Monadic second-order logic in practice. In Tools and Algorithms for the Construction and Analysis of Systems, First International Workshop, TACAS '95, LNCS 1019, 1996. http://citeseer.ist.psu.edu/henriksen95mona.html More
@inproceedings{ henriksen95mona,
author = "Jesper G. Henriksen and Jakob L. Jensen and Michael E. J{\o}rgensen and Nils Klarlund and Robert Paige and Theis Rauhe and Anders Sandholm",
title = "{M}ona: Monadic Second-Order Logic in Practice",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
volume = "1019",
publisher = "Springer",
editor = "Ed Brinksma and Rance Cleaveland and Kim Guldstrand Larsen and Tiziana Margaria and Bernhard Steffen",
isbn = "3-540-60630-0",
pages = "89--110",
year = "1995",
url = "citeseer.ist.psu.edu/henriksen95mona.html" }
Citations (may not include all citations):1726 Graph-based algorithms for boolean function manipulation - Bryant - 1986
1450 Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
510 Symbolic Boolean manipulation with ordered binary-decision d.. - Bryant - 1992
374 Automata on infinite objects (context) - Thomas
116 A structural induction theorem for processes (context) - Kurshan, MacMillan - 1989
57 algorithm for minimizing states in a finite automaton (context) - Hopcroft, log - 1971
42 An iterative approach to language containment (context) - Balarin, Sangiovanni-Vincentelli - 1993
29 Hardware verification using monadic second-order logic - Basin, Klarlund - 1995
21 Parametric circuit representation using inductive boolean fu.. - Gupta, Fisher - 1993
15 Automatic generation of network invariants for the verificat.. (context) - Rho, Somenzi - 1993
14 Minimisation of acyclic deterministic automata in linear tim.. (context) - Revuz - 1992
11 Using multiset discrimination to solve language processing p.. - Cai, Paige - 1994
11 Three efficient algorithms based on partition refinement (context) - Paige, Tarjan - 1987
5 Symbolic model checking and constraint logic programming: a .. (context) - Corsini, Rauzy - 1994
3 Ubersetzung von logischen Ausdrucken in Baumautomaten: Entwi.. (context) - Steinmann - 1993
3 Monadic second-order logic for parameterized verification - Jensen, Jrgensen et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.brics.dk/RS/95/Ref/BRICS-RS-95-Ref/): More
Compositional Model Checking of Real Time Systems - Laroussinie, al. (1995) (Correct)
A Semantic Theory for Value-Passing Processes Late.. -.. (1995) (Correct)
Monadic Second-Order Logic, Graphs and Unfoldings of.. - Courcelle, Walukiewicz (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC