Symmetry reduction in CSP model checking

Thomas Gibson-Robinson; Gavin Lowe

doi:10.1007/s10009-019-00516-4

Symmetry reduction in CSP model checking

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-019-00516-4 ◽

2019 ◽

Vol 21 (5) ◽

pp. 567-605 ◽

Cited By ~ 2

Author(s):

Thomas Gibson-Robinson ◽

Gavin Lowe

Keyword(s):

Model Checking ◽

Symmetry Reduction

Download Full-text

Exact and Approximate Strategies for Symmetry Reduction in Model Checking

FM 2006: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/11813040_36 ◽

2006 ◽

pp. 541-556 ◽

Cited By ~ 8

Author(s):

Alastair F. Donaldson ◽

Alice Miller

Keyword(s):

Model Checking ◽

Symmetry Reduction

Download Full-text

Symmetry Reduction for Probabilistic Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/11817963_23 ◽

2006 ◽

pp. 234-248 ◽

Cited By ~ 53

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

David Parker

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Symmetry Reduction ◽

Probabilistic Model Checking

Download Full-text

Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45657-0_8 ◽

2002 ◽

pp. 93-106 ◽

Cited By ~ 8

Author(s):

Sharon Barner ◽

Orna Grumberg

Keyword(s):

Model Checking ◽

Symmetry Reduction ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-48153-2_12 ◽

2010 ◽

pp. 142-157 ◽

Cited By ~ 54

Author(s):

E. Allen Emerson ◽

Richard J. Trefler

Keyword(s):

Model Checking ◽

Symmetry Reduction ◽

New Techniques ◽

Full Symmetry

Download Full-text

Symmetry Reduction Criteria for Software Model Checking

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-46017-9_5 ◽

2002 ◽

pp. 22-41 ◽

Cited By ~ 18

Author(s):

Radu Iosif

Keyword(s):

Model Checking ◽

Symmetry Reduction ◽

Software Model Checking ◽

Software Model

Download Full-text

Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction

Lecture Notes in Computer Science - Distributed Computing ◽

10.1007/978-3-642-04355-0_29 ◽

2009 ◽

pp. 289-290

Author(s):

Péter Bokor ◽

Marco Serafini ◽

Neeraj Suri ◽

Helmut Veith

Keyword(s):

Model Checking ◽

Fault Tolerant ◽

Symmetry Reduction ◽

Distributed Protocols

Download Full-text

Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking

Formal Methods in System Design ◽

10.1007/s10703-005-2246-x ◽

2005 ◽

Vol 27 (1-2) ◽

pp. 29-66 ◽

Cited By ~ 6

Author(s):

Sharon Barner ◽

Orna Grumberg

Keyword(s):

Model Checking ◽

Symmetry Reduction ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41202-8_13 ◽

2013 ◽

pp. 182-198 ◽

Cited By ~ 3

Author(s):

Yuanjie Si ◽

Jun Sun ◽

Yang Liu ◽

Ting Wang

Keyword(s):

Model Checking ◽

Symmetry Reduction ◽

Timed Csp

Download Full-text

A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction

Formal Techniques for Networked and Distributed Sytems — FORTE 2002 - Lecture Notes in Computer Science ◽

10.1007/3-540-36135-9_5 ◽

2002 ◽

pp. 65-80 ◽

Cited By ~ 2

Author(s):

Dragan Bošnački

Keyword(s):

Model Checking ◽

Search Algorithm ◽

Symmetry Reduction ◽

Depth First Search

Download Full-text

Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/11901914_4 ◽

2006 ◽

pp. 9-23 ◽

Cited By ~ 19

Author(s):

Alastair F. Donaldson ◽

Alice Miller

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Symmetry Reduction ◽

Probabilistic Model Checking

Download Full-text