Combining partial order and symmetry reductions

E. Allen Emerson; Somesh Jha; Doron Peled

doi:10.1007/bfb0035378

Combining partial order and symmetry reductions

E. Allen Emerson
, Somesh Jha
, Doron Peled

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

39 Scopus citations

Abstract

Partial order based reduction techniques to reduce time and memory in model-checking procedures are becoming quite popular. Partial order reduction techniques exploit the independence of actions. Symmetry based reduction techniques exploit the inherent structure of the system to reduce the state space explored during model checking. We provide an abstract framework for combining partial-order and symmetry reductions. We also present algorithms which exploit both reduction techniques simultaneously.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings
Editors	Ed Brinksma
Publisher	Springer Verlag
Pages	19-34
Number of pages	16
ISBN (Print)	3540627901, 9783540627906
DOIs	https://doi.org/10.1007/bfb0035378
State	Published - 1997
Externally published	Yes
Event	3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997 - Enschede, Netherlands Duration: 2 Apr 1997 → 4 Apr 1997

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1217
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997
Country/Territory	Netherlands
City	Enschede
Period	2/04/97 → 4/04/97

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1997.

Access to Document

10.1007/bfb0035378

Cite this

Allen Emerson, E., Jha, S., & Peled, D. (1997). Combining partial order and symmetry reductions. In E. Brinksma (Ed.), Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings (pp. 19-34). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1217). Springer Verlag. https://doi.org/10.1007/bfb0035378

Allen Emerson, E. ; Jha, Somesh ; Peled, Doron. / Combining partial order and symmetry reductions. Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. editor / Ed Brinksma. Springer Verlag, 1997. pp. 19-34 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a45507dd7bd94f50870786d1c9f93c72,

title = "Combining partial order and symmetry reductions",

abstract = "Partial order based reduction techniques to reduce time and memory in model-checking procedures are becoming quite popular. Partial order reduction techniques exploit the independence of actions. Symmetry based reduction techniques exploit the inherent structure of the system to reduce the state space explored during model checking. We provide an abstract framework for combining partial-order and symmetry reductions. We also present algorithms which exploit both reduction techniques simultaneously.",

author = "\{Allen Emerson\}, E. and Somesh Jha and Doron Peled",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997 ; Conference date: 02-04-1997 Through 04-04-1997",

year = "1997",

doi = "10.1007/bfb0035378",

language = "אנגלית",

isbn = "3540627901",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "19--34",

editor = "Ed Brinksma",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings",

address = "גרמניה",

}

Allen Emerson, E, Jha, S & Peled, D 1997, Combining partial order and symmetry reductions. in E Brinksma (ed.), Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1217, Springer Verlag, pp. 19-34, 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997, Enschede, Netherlands, 2/04/97. https://doi.org/10.1007/bfb0035378

Combining partial order and symmetry reductions. / Allen Emerson, E.; Jha, Somesh; Peled, Doron.
Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. ed. / Ed Brinksma. Springer Verlag, 1997. p. 19-34 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1217).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Combining partial order and symmetry reductions

AU - Allen Emerson, E.

AU - Jha, Somesh

AU - Peled, Doron

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1997.

PY - 1997

Y1 - 1997

N2 - Partial order based reduction techniques to reduce time and memory in model-checking procedures are becoming quite popular. Partial order reduction techniques exploit the independence of actions. Symmetry based reduction techniques exploit the inherent structure of the system to reduce the state space explored during model checking. We provide an abstract framework for combining partial-order and symmetry reductions. We also present algorithms which exploit both reduction techniques simultaneously.

AB - Partial order based reduction techniques to reduce time and memory in model-checking procedures are becoming quite popular. Partial order reduction techniques exploit the independence of actions. Symmetry based reduction techniques exploit the inherent structure of the system to reduce the state space explored during model checking. We provide an abstract framework for combining partial-order and symmetry reductions. We also present algorithms which exploit both reduction techniques simultaneously.

UR - https://www.scopus.com/pages/publications/84958748428

U2 - 10.1007/bfb0035378

DO - 10.1007/bfb0035378

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84958748428

SN - 3540627901

SN - 9783540627906

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 19

EP - 34

BT - Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings

A2 - Brinksma, Ed

PB - Springer Verlag

T2 - 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997

Y2 - 2 April 1997 through 4 April 1997

ER -

Allen Emerson E, Jha S, Peled D. Combining partial order and symmetry reductions. In Brinksma E, editor, Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. Springer Verlag. 1997. p. 19-34. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0035378

Combining partial order and symmetry reductions

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this