E. Allen Emerson, Richard J. Trefler  Home/Search
Context Related
Links: DBLP | utexas.edu/users/e...earsymmbdds.2.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: utexas.edu/users/e...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is often the case that systems are "nearly symmetric"; they exhibit symmetry in a part of their description but are, nevertheless, globally asymmetric. We formalize several notions of near symmetry and show how to obtain the benefits of symmetry reduction when applied to asymmetric systems which are nearly symmetric. We show that for some nearly symmetric systems it is possible to perform symmetry reduction and obtain a bisimilar (up to permutation) symmetry reduced system. Using a... (Update)
Context of citations to this paper: More
...choice of representatives is significant since it strongly influences the size of the BDDs representing the symmetry reduced model. [11] suggests to choose generic representatives. This approach involves compiling the symmetric program to a reduced model over the generic...
.... defeat the purpose of speeding up search [18] Despite these pitfalls, symmetry based approaches have been useful in model checking [26, 15, 23], hardware verification [36] software verification [11] logic synthesis [28, 9] and DSP algorithms [22] Some researchers limited...
Cited by: More
Solving Difficult Instances of Boolean Satisfiability .. - Aloul, Ramani.. (2003) (Correct)
Combining Symmetry Reduction and Under-Approximation for.. - Barner, Grumberg (2003) (Correct)
Five Ways to Use Induction and Symmetry in the Verification.. - Calder, Miller (2002) (Correct)
Similar documents (at the sentence level):
46.3%: From Asymmetry to Full Symmetry: New Techniques for Symmetry .. - Emerson, Trefler (1999) (Correct)
Active bibliography (related documents): More All
0.8: Virtual Symmetry Reduction - Emerson, Havlicek, Trefler (2000) (Correct)
0.2: Symmetric Spin - Bosnacki, Dams, Holenderski (2000) (Correct)
0.2: A Heuristic for Symmetry Reductions with Scalarsets - Bosnacki, Dams, Holenderski (Correct)
Similar documents based on text: More All
0.2: Exploiting Symmetry In Linear Time Temporal Logic Model.. - Ajami, Haddad, Ilie (1998) (Correct)
0.1: Parametric Quantitative Temporal Reasoning - Emerson, Trefler (1999) (Correct)
0.0: Increasing Returns and All That: A View From Trade - Antweiler, Trefler (1997) (Correct)
Related documents from co-citation: More All
7: Model Checking - Clarke, Grumberg et al. - 1994
6: Exploiting Symmetry in Temporal Logic Model Checking (context) - Clarke, Filkorn et al. - 1993
6: Better verification through symmetry - Ip, Dill - 1996
BibTeX entry: (Update)
E.A. Emerson, R.J. Tre#er, From asymmetry to full symmetry: new techniques for symmetry reduction in model checking, Proc. of CHARME'99 #The 10th IFIP WG10.5 AdvancedResearch Working Conference on Correct Hardware Design and Veri#cation Methods#, Bad Herrenalb, Germany, Sep. 1999. http://citeseer.ist.psu.edu/article/emerson99from.html More
@inproceedings{ emerson99from,
author = "E. Allen Emerson and Richard J. Trefler",
title = "From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking",
booktitle = "Conference on Correct Hardware Design and Verification Methods",
pages = "142-156",
year = "1999",
url = "citeseer.ist.psu.edu/article/emerson99from.html" }
Citations (may not include all citations):1726 Graph-Based Algorithms for Boolean Function Manipulation - Bryant ACM DBLP
1097 Automatic Verification of Finite State Concurrent System Usi.. (context) - Clarke, Emerson et al. - 1986
779 Symbolic Model Checking: 10 20 states and beyond - Burch, Clarke et al. - 1992
725 Temporal and Modal Logic (context) - Emerson - 1990 ACM DBLP
502 Concurrency and Automata on Infinite Sequences (context) - Park - 1981 ACM DBLP
357 Algebraic Laws for Nondeterminism and Concurrency (context) - Hennessy, Milner - 1985 ACM DBLP
315 Symbolic Model Checking: An Approach to the State Explosion .. (context) - McMillan - 1992
231 Model Checking and Abstraction - Clarke, Grumberg et al. - 1994 ACM DBLP
230 Checking That Finite State Concurrent Programs Satisfy Their.. (context) - Lichtenstein, Pnueli
115 Exploiting Symmetry in Temporal Logic Model Checking (context) - Clarke, Enders et al. - 1996 ACM DBLP
106 An Algebraic Definition of Simulations Between Programs (context) - Milner - 1971
101 Better Verification through Symmetry - Ip, Dill - 1996 ACM DBLP
77 Symmetry and Model Checking - Emerson, Sistla - 1996 ACM DBLP
54 High-Level Petri Nets: Theory and Application (context) - Jensen, Rozenberg - 1991
49 Utilizing Symmetry when Model Checking under Fairness Assump.. - Emerson, Sistla - 1997 ACM
39 Not Never' Revisited: On Branching versus Linear Time Tempor.. (context) - Emerson, Halpern
30 Specification and verification of concurrent programs in CES.. (context) - Queille, Sifakis - 1982
20 Fly Model checking under Fairness that Exploits Symmetry - Gyuris, Sistla - 1997
18 Symmetry Reductions in Model Checking (context) - Clarke, Emerson et al. - 1998
16 Design and Verification of Synchronization Skeletons using B.. (context) - Clarke, Emerson - 1981
15 McGraw-Hill Book Company (context) - Zvi, Finite et al. - 1978
10 Exploiting Symmetry in Linear Time Temporal Logic Model Chec.. - Ajami, Haddad et al. - 1998 DBLP
7 Symbolic Reachability Graph and Partial Symmetries - Haddad, Ilie et al. ACM DBLP
5 Model Checking Real-Time Properties of Symmetric Systems - Emerson, Trefler - 1998 ACM DBLP
5 Permutable Agents (context) - Michel, Azema et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.utexas.edu/users/emerson/publications.html): More
On Model Checking for Non-Deterministic Infinite-State Systems - Emerson, Namjoshi (1998) (Correct)
Efficient Decompositional Model-Checking for Regular.. - Amla, Emerson, Namjoshi (1999) (Correct)
Reasoning about Rings - Emerson, Namjoshi (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