Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund  Home/Search
Context Related
| daimi.au.dk/~mailund/ps/deadlocks.ps 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: daimi.au.dk/~mailu...publications (more) Homepages: T.Mailund |
Rate this article:      (best)Comment on this article |
Abstract: State space exploration is one of the main approaches to computer-aided verification and analysis of finite-state systems, and can be used to reason about a wide range of properties during the design phase of a system, including desired and undesired terminal states. Several state space reduction methods have been developed to alleviate the state explosion problem inherent in methods based on state space exploration. In this paper we develop algorithms for combining two of these methods: the... (Update)
Cited by: More
Unknown - (Correct)
Checking Language Inclusion On-the-Fly with the.. - Gallasch.. (2005) (Correct)
Active bibliography (related documents): More All
1.0: On Combining the Sweep-Line and Equivalence Method - Thomas Mailund June (Correct)
1.0: Sweep-Line State Space Exploration for Coloured Petri Nets - Gallasch, Kristensen.. (2002) (Correct)
0.9: Path Finding with the Sweep-Line Method using External Storage - Kristensen, Mailund (2003) (Correct)
Similar documents based on text: More All
0.3: A Probabilistic Cut-off Technique - Mailund (2002) (Correct)
0.2: Obtaining Memory-Efficient Reachability Graph.. - Mailund, Westergaard (2004) (Correct)
0.2: Analysing Infinite-State Systems by Combining Equivalence.. - Mailund (2002) (Correct)
Related documents from co-citation: More All
2: Checking that Finite State Concurrent Programs Satisfy their Linear Specificatio.. (context) - Lichtenstein, Pnueli - 1985
2: Coloured Petri Nets -- Basic Concepts (context) - Jensen - 1992
2: fly verification of linear temporal logic (context) - Couvreur - 1999
BibTeX entry: (Update)
J. Billington, G.E. Gallasch, L.M. Kristensen, and T. Mailund. Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 34(1):23--37, January 2004. http://citeseer.ist.psu.edu/billington04exploiting.html More
@misc{ billington04exploiting,
author = "J. Billington and G. Gallasch and L. Kristensen and T. Mailund",
title = "Exploiting equivalence reduction and the sweep-line method for detecting
terminal states",
text = "J. Billington, G.E. Gallasch, L.M. Kristensen, and T. Mailund. Exploiting
equivalence reduction and the sweep-line method for detecting terminal states.
IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans,
34(1):23--37, January 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/billington04exploiting.html" }
Citations (may not include all citations):1726 Graph Based Algorithms for Boolean Function Manipulation - Bryant - 1986
828 Model Checking - Clarke, Grumberg et al. - 1999
603 Kluwer Academic Publishers (context) - McMillan, Checking - 1993
368 Analysis and Application (context) - Murata, Nets - 1989
207 A Stubborn Attack on State Explosion (context) - Valmari - 1990
85 Coloured Petri Nets (context) - Jensen - 1997
85 Coloured Petri Nets (context) - Jensen - 1997
73 Prentice-Hall International Series in Computer Science (context) - Milner, Concurrency - 1989
68 One for All: On Model Checking Using Representatives (context) - Peled, One - 1993
50 State-Space Caching Revisited - Godefroid, Holzmann et al. - 1995
45 Reliable Hashing without Collision Detection - Wolper, Leroy - 1993
43 Formal Methods in System Design (context) - Emerson, Sistla et al. - 1996
39 An Improved Protocol Reachability Analysis Technique - Holzmann - 1988
28 Better Veri cation Through Symmetry (context) - Ip, Dill - 1996
27 Error Detection by Reduced Reachability Graph Generation (context) - Valmari - 1988
26 Formal Methods in System Design (context) - Holzmann, of et al. - 1998
21 Algorithms for Automated Protocol Validation - Holzmann - 1990
20 Condensed State Spaces for Symmetrical Coloured Petri Nets (context) - Jensen - 1996
19 A SweepLine Method for State Space Exploration - Christensen, Kristensen et al. - 2001
19 The Practitioner 's Guide to Coloured Petri Nets - Kristensen, Christensen et al. - 1998
19 Combining Partial Order and Symmetry Reduction - Emerson, Jha et al. - 1997
18 Stubborn Sets of Coloured Petri Nets (context) - Valmari - 1991
18 Symmetry Reductions in Model Checking (context) - Clake, Emerson et al. - 1998
17 Partial Order Methods for Temporal Veri cation (context) - Wolper, Godefroid - 1993
15 Exploiting Symmetries in Temporal Logic Model Checking (context) - Clarke, Enders et al. - 1996
13 A Generalised Sweep-Line Method for Safety Properties - Kristensen, Mailund - 2002
10 Bounded-memory Algorithms for Veri cation On-the- y (context) - Jard, Jeron - 1991
10 On combining the Stubborn Set Method with the Sleep Set Meth.. - Varpaaniemi - 1994
8 Veri cation of a Revised WAP Wireless Transaction Protocol (context) - Gordon, Kristensen et al. - 2002
7 Improved Probabilistic Veri cation by Hash Compaction (context) - Stern, Dill - 1995
7 Analysi Bang and Olufsen's BeoLink AudioVideo System Using C.. (context) - rgensen, Bang et al. - 1997
5 State Space Methods for Timed Coloured Petri Nets - Christensen, Jensen et al. - 2001
5 in Lectures on Petri Nets I: Basic Models (context) - Valmari, Explosion - 1998
4 and Stubborn Set Searches (context) - Tiusanen, Symmetry - 1994
3 Analysing In nite-State Systems by Combining Equivalence Red.. (context) - Mailund - 2002
2 Veri cation of the WAP Transaction Layer using Coloured Petr.. (context) - Gordon - 2001
2 in Third International Symposium on Programming Languages Im.. (context) - Appel, MacQueen et al. - 1991
2 The Internet Society, \Internet Open Trading Protocol { IOTP.. (context) - Society, Trading et al. - 2000
1 A Formal and Executable Speci cation of the Internet Open Tr.. (context) - Ouyang, Kristensen et al. - 2002
1 Operating Systems - Internals ans Design Principles (context) - Stallings - 2001
1 Systems Engineering (context) - Thom, Ed - 1993
1 The Internet Society, \Internet Open Trading Protocol { Vers.. (context) - Society, Trading et al. - 2002
http://www.wapforum.org/
Documents on the same site (http://www.daimi.au.dk/~mailund/publications.html): More
Coloured Petri Nets - A Tool in Software Engineering - Mailund (2000) (Correct)
A Sweep-Line Method for State Space Exploration - Christensen, Kristensen, Mailund (2001) (Correct)
State Space Methods for Timed Coloured Petri Nets - Christensen, Jensen.. (2001) (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