descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article 01 Jan 1993Publisher:Springer Berlin HeidelbergJournal:Formal Methods in System Design, volume 9, pages 105-131 (issn: 0925-9856, eissn: 1572-8102,

Authors: A. Prasad Sistla; E. Allen Emerson;

doi: 10.1007/3-540-56922-7_38 , 10.1007/bf00625970

Symmetry and model checking

- Summary
- Metrics

Abstract

We show how to exploit symmetry in model checking for concurrent systems containing many identical or isomorphic components. We focus in particular on those composed of many isomorphic processes. In many cases we are able to obtain significant, even exponential, savings in the complexity of model checking.

Related Organizations

University of Illinois at Chicago
United States
The University of Texas at Austin
United States

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	372
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 0.1%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%