shared memory

Unfolding-based Partial Order Reduction