Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures.

Ahmed Bouajjani, Sverine Fratani, Shaz Qadeer

Browse the full CAV paper archive.