Thomas Mailund  Home/Search
Context Related
| daimi.au.dk/~mailund/ps...icatpn2002.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The sweep-line method is a state space exploration method for on-the-fly verification aimed at systems exhibiting progress. Presence of progress in the system makes it possible to delete certain states during state space generation, which reduces the memory used for storing the states. Unfortunately, the same progress that is used to improve memory performance in state space exploration often leads to an infinite state space: The progress in the system is carried over to the states resulting in ... (Update)
Cited by: More
Unknown - (Correct)
Checking Language Inclusion On-the-Fly with the.. - Gallasch.. (2005) (Correct)
Similar documents (at the sentence level):
6.0%: Equivalence Based Cut-off in the Sweep-Line Method - Mailund (2001) (Correct)
Active bibliography (related documents): More All
0.8: State Space Methods for Timed Coloured Petri Nets - Christensen, Jensen.. (2001) (Correct)
0.8: Coloured Petri Nets - A Tool in Software Engineering - Mailund (2000) (Correct)
0.5: Exploiting Equivalence Reduction and the.. - Billington.. (2004) (Correct)
Similar documents based on text: More All
0.9: A Generalised Sweep-Line Method for Safety Properties - Kristensen, Mailund (2002) (Correct)
0.7: A Compositional Sweep-Line State Space Exploration Method - Kristensen, Mailund (2002) (Correct)
0.6: The Second Annual Video Review of Computational Geometry - Brown, (eds.) (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)
T. Mailund. Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method. In Proceedings of ICATPN'02, volume 2360 of Lecture Notes in Computer Science, pages 314--334. Springer-Verlag, 2002. http://citeseer.ist.psu.edu/mailund02analysing.html More
@inproceedings{ mailund-analysing,
Author = {Thomas Mailund},
Title = {Analysing {I}nfinite-{S}tate {S}ystems by {C}ombining
{E}quivalence {R}eduction and the {S}weep-{L}ine
{M}ethod},
BookTitle = {Proc. of {ICATPN}'02},
Volume = {2360},
Series = {LNCS},
Pages = {314--333},
Publisher = {Springer-Verlag},
keywords = {state spaces, sweepline, timed petri nets},
year = 2002,,
url = {citeseer.ist.psu.edu/mailund02analysing.html} }
Citations (may not include all citations):451 Prentice-Hall (context) - Bertsekas, Gallager - 1992
216 Coloured Petri Nets - Basic Concepts (context) - Jensen - 1994
216 Coloured Petri Nets - Basic Concepts (context) - Jensen - 1992
43 Formal Methods in System Design (context) - Emerson, Sistla et al. - 1996
20 Condensed State Spaces for Symmetrical Coloured Petri Nets (context) - Jensen - 1996
20 Interval Timed Coloured Petri Nets and their Analysis - van der Aalst - 1993
19 The Practitioner's Guide to Coloured Petri Nets - Kristensen, Christensen et al. - 1998
19 A Sweep-Line Method for State Space Exploration - Christensen, Kristensen et al. - 2001
15 Exploiting Symmetries in Temporal Logic Model Checking (context) - Clarke, Enders et al. - 1996
11 DesignCPN Computer Tool Coloured Petri Net - rgensen, CPN et al. - 1997
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
4 Occurrence Graphs for Interval Timed Coloured Nets (context) - Berthelot - 1994
3 Condensed State Spaces for Timed Petri Nets (context) - Christensen, Kristensen et al. - 2001
1 DesignCPN Condensed State Space Tool Manual (context) - Kristensen, Condensed et al. - 1996
http://www.daimi.au.dk/designCPN/
http://www.daimi.au.dk/designCPN/
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