Partial-order reduction

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

7 Scopus citations


Partial order reduction methods help reduce the time and space required to automatically verify concurrent asynchronous systems based on commutativity between concurrently executed transitions. We describe partial order reduction for various specification formalisms, such as LTL, CTL, and process algebra.

Original languageEnglish
Title of host publicationHandbook of Model Checking
PublisherSpringer International Publishing
Number of pages18
ISBN (Electronic)9783319105758
ISBN (Print)9783319105741
StatePublished - 18 May 2018

Bibliographical note

Publisher Copyright:
© Springer International Publishing AG, part of Springer Nature 2018. All rights reserved.


Dive into the research topics of 'Partial-order reduction'. Together they form a unique fingerprint.

Cite this