Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Browse the full ATVA paper archive.