Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads.

Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer

Browse the full TACAS paper archive.