A Pragmatic Approach to Stateful Partial Order Reduction

Berk Cirisci, Constantin Enea, Azadeh Farzan +1

Partial order reduction (POR) is a classic technique for dealing with the state explosion problem in model checking of concurrent programs. Theoretical optimality, i.e., avoiding e…