Optimal Bounded Partial Order Reduction.

Iason Marmanis, Viktor Vafeiadis

Browse the full FMCAD paper archive.