Dynamic Reductions for Model Checking Concurrent Software.

Henning Gnther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher

Browse the full VMCAI paper archive.