Radu Iosif  Home/Search
Context
Related
| ksu.edu/~iosif/dspin/heapsym.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: ksu.edu/~iosif/dspin/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Detecting symmetries in the structure of systems is a well known technique falling in the class of bisimulation (strongly) preserving state space reductions. Previous work in applying symmetries to aid model checking focuses mainly on process topologies and user speci ed data types. We applied the symmetry framework to model checking object-based programs that manipulate dynamically created objects, and developed a polynomial-time heuristic for finding the canonical representative of a symmetry ... (Update)
Active bibliography (related documents): More All
0.9: Five Ways to Use Induction and Symmetry in the Verification.. - Calder, Miller (2002) (Correct)
0.3: Addressing Dynamic Issues of Program Model Checking - Lerda, Visser (2001) (Correct)
0.2: A Heuristic for Symmetry Reductions with Scalarsets - Bosnacki, Dams, Holenderski (2001) (Correct)
Similar documents based on text: More All
0.4: The dSPIN User Manual - Iosif (Correct)
0.3: Structural Symmetries and Model Checking - Manku (1998) (Correct)
0.2: Comparing Symbolic and Explicit Model Checking of a Software.. - Eisner, Peled (2002) (Correct)
BibTeX entry: (Update)
@misc{ iosif-symmetric,
author = "Radu Iosif",
title = "Symmetric Model Checking for Object-Based Programs",
url = "citeseer.ist.psu.edu/472494.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
397 Design and Synthesis of Synchronization Skeletons using Bran.. (context) - Clarke, Emerson - 1981
357 Algebraic Laws for Nondeterminism and Concurrency (context) - Hennessy, Milner - 1985 ACM DBLP
270 Bandera: Extracting Finite-State Models from Java Source Cod.. - Corbett, Dwyer et al. - 2000
259 A Survey of Program Slicing Techniques - Tip - 1995 DBLP
206 Results on the Propositional Mu-Calculus (context) - Kozen - 1983 DBLP
193 Abstract interpretation: a unied lattice model for static an.. (context) - Cousot, Cousot - 1997
115 Exploiting Symmetry In Temporal Logic Model Checking (context) - Clarke, Filkorne et al. - 1993 ACM DBLP
77 Concurrency of Operations on B-Trees (context) - Bayer, Schkolnick - 1977 ACM
77 Symmetry and Model Checking - Emerson, Sistla - 1993 ACM DBLP
52 The semantics of programming languages : an elementary intro.. (context) - Hennessy - 1990
46 Model Checking Programs - Visser, Havelund et al. - 2000
43 The SPIN Model Checker (context) - Holzmann - 1997
39 dSPIN: A Dynamic Extension of SPIN - Iosif, Sisto - 1999 DBLP
28 Better Verication Through Symmetry (context) - Ip, Dill - 1996
24 Partial-Order Methods for the Verication of Concurrent Syste.. (context) - Godefroid - 1996
19 Automatic Verication of Finite-State Concurrent Systems Usin.. (context) - Clarke, Emerson et al. - 1986
19 Combining Partial Order and Symmetry Reductions - Emerson, Jha et al. - 1997 ACM DBLP
10 A Simple Algorithm for Global Data Flow Analysis Programs (context) - Hecht, Ullman - 1975
10 Exploiting Symmetry in Linear Time Temporal Logic Model Chec.. - Ajami, Haddad et al. - 1998 DBLP
9 Logic Verication of ANSI-C Code with Spin (context) - Holzmann
9 Addressing Dynamic Issues of Program Model Checking - Lerda, Visser ACM DBLP
8 A Heuristic for Symmetry Reductions with Scalarsets - Dams, Bosnacki ACM DBLP
7 Exploiting Symmetry when Model-Checking Software - Godefroid - 1999 ACM DBLP
3 Using Garbage Collection in Model Checking - Iosif, Sisto - 2000 ACM DBLP
2 Symmetry and Reduced Symmetry in Model Checking (context) - Sistla, Godefroid - 2001 ACM DBLP
1 th SPIN Workshop (context) - Bosnacki, Dams et al. - 2000
Documents on the same site (http://www.cis.ksu.edu/~iosif/dspin/index.html):
The dSPIN User Manual - Iosif (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