Partial-order reduction

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

Abstract

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

All Science Journal Classification (ASJC) codes

  • General Engineering
  • General Computer Science
  • General Mathematics

Fingerprint

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

Cite this