Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation.

Thomas Martin Gawlitza, Peter Lammich, Markus Mller-Olm, Helmut Seidl, Alexander Wenner

Browse the full VMCAI paper archive.