Petrification: Software Model Checking for Programs with Dynamic Thread Management.

Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schssele

Browse the full VMCAI paper archive.