Dragan Bosnacki, Dennis Dams, Leszek Holenderski  Home/Search
Context Related
Links: ACM DBLP | win.tue.nl/~lhol/Symm...heuristic.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: win.tue.nl/~lhol/SymmSpin...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present four versions of a new heuristic for coping with the problem of finding (canonical) representatives of symmetry equivalence classes (the so-called orbit problem), in symmetry techniques for model checking. The practical implementation of such techniques hinges on appropriate workarounds of this hard problem, which is equivalent to graph isomorphism. We implemented the four strategies on top of the Spin model checker, and compared their performance on several examples, with... (Update)
Context of citations to this paper: More
.... reduction package which uses the scalarset approach of Ip and Dill [45] A similar approach has been applied in the development of SymmSpin [6], a symmetry reduction package for SPIN [38] More recently an extension of this approach, which exploits heap symmetries [43] have been...
Cited by: More
Solving Difficult Instances of Boolean Satisfiability .. - Aloul, Ramani.. (2003) (Correct)
Directed Error Detection in C++ with the Assembly-Level.. - Leven, Mehler, Edelkamp (2004) (Correct)
Enhancing UPPAAL by Exploiting Symmetry - Hendriks (2002) (Correct)
Similar documents (at the sentence level):
22.1%: Symmetric Spin - Bosnacki, Dams, Holenderski (2000) (Correct)
Active bibliography (related documents): More All
2.7: A Heuristic for Symmetry Reductions with Scalarsets - Bosnacki, Dams, Holenderski (2001) (Correct)
0.5: Five Ways to Use Induction and Symmetry in the Verification.. - Calder, Miller (2002) (Correct)
0.4: The AdjustPan script - Holenderski (2000) (Correct)
Similar documents based on text: More All
0.8: Model Checking SDL with Spin - Bosnacki, Dams, Holenderski, Sidorova (2000) (Correct)
0.4: Enhancing Partial-Order Reduction via Process Clustering - Basten, Bosnacki (Correct)
0.3: Symmetric Model Checking for Object-Based Programs - Iosif (Correct)
Related documents from co-citation: More All
6: Exploiting Symmetry in Temporal Logic Model Checking (context) - Clarke, Filkorn et al. - 1993
5: Model Checking - Clarke, Grumberg et al. - 1994
4: Better verication through symmetry (context) - Ip, Dill - 1996
BibTeX entry: (Update)
D. Dams, D. Bosnacki. A Heuristic for Symmetry Reductions with Scalarsets, Proc. FME http://citeseer.ist.psu.edu/496444.html More
@inproceedings{ bosnacki01heuristic,
author = "Bosnacki and Dams and Holenderski",
title = "A Heuristic for Symmetry Reductions with Scalarsets",
booktitle = "International Symposium on {FME} 2001: Formal Methods for Increasing Software Productivity, {LNCS}",
volume = "1",
year = "2001",
url = "citeseer.ist.psu.edu/496444.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Grumberg et al. - 2000 ACM DBLP
725 Temporal and modal logic (context) - Emerson - 1990 ACM DBLP
718 Distributed Algorithms (context) - Lynch - 1996 ACM
115 Exploiting symmetry in temporal logic model checking (context) - Clarke, Enders et al. - 1996 ACM DBLP
86 Stubborn sets for reduced state space generation (context) - Valmari ACM DBLP
77 Symmetry and model checking - Emerson, Sistla - 1993 ACM DBLP
49 Utilizing symmetry when model-checking under fairness assump.. - Emerson, Sistla - 1997 DBLP
28 Better verication through symmetry (context) - Ip, Dill - 1996
28 Better verication through symmetry (context) - Ip, Dill
19 Combining partial order and symmetry reductions - Emerson, Jha et al. - 1997 ACM DBLP
11 From asymmetry to full symmetry: new techniques for symmetry.. - Emerson, er - 1999 DBLP
8 model checking under fairness that exploits symmetry (context) - Gyuris, Sistla - 1997
7 Design and Validation of Communication Protocols (context) - Holzmann - 1991
7 Exploiting symmetry when model-checking software - Godefroid - 1999 ACM DBLP
7 Wireless ATM MAC (context) - Dravapoulos, Pronios et al. - 1997
6 Integrating real time into Spin: a prototype implementation (context) - Bo, cki et al. - 1998 DBLP
5 Model checking real-time properties of symmetric systems - Emerson, er - 1998 ACM DBLP
3 Symmetric Spin (context) - Bo, cki et al. ACM DBLP
3 State Reduction Methods for Automatic Formal Verication (context) - Ip - 1996
2 Enhancing State Space Reduction Techniques for Model Checkin.. (context) - Bo, cki - 2000
2 Explicit-enumeration based Verication made Memory-ecient (context) - Nalumasu, Gopalakrishnan - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.win.tue.nl/~lhol/SymmSpin/index.html):
The AdjustPan script - Holenderski (2000) (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