https://www.coursera.org/learn/equivalences-abstraction-and-partial-order-reduction?specialization=fundamentals-model-checking
Offered by University of Colorado Boulder. This course introduces methods to utilize abstraction and partial order methods to reduce the ... Enroll for free.
partial order reductionequivalencesabstractioncoursera
https://deepai.org/publication/a-pragmatic-approach-to-stateful-partial-order-reduction
11/22/22 - Partial order reduction (POR) is a classic technique for dealing with the state explosion problem in model checking of concurrent ...
partial order reductionpragmaticapproachstatefuldeepai