A Framework to Synergize Partial Order Reduction with State Interpolation

Duc-Hiep Chu, Joxan Jaffar

We address the problem of reasoning about interleavings in safety verification of concurrent programs. In the literature, there are two prominent techniques for pruning the search…