Partial-order reduction

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


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
Number of pages18
ISBN (Electronic)9783319105758
StatePublished - 18 May 2018

All Science Journal Classification (ASJC) codes

  • General Engineering
  • General Computer Science
  • General Mathematics


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

Cite this