Parsimonious Optimal Dynamic Partial Order Reduction.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas

Browse the full CAV paper archive.