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.
|Title of host publication||Handbook of Model Checking|
|Publisher||Springer International Publishing|
|Number of pages||18|
|State||Published - 18 May 2018|
Bibliographical notePublisher Copyright:
© Springer International Publishing AG, part of Springer Nature 2018. All rights reserved.