Linear-time model-checking for multithreaded programs under scope-bounding (2012)

by Mohamed Faouzi Atig, Ahmed Bouajjani, K Narayan Kumar, Prakash Saivasan
Venue:In Supratik Chakraborty and Madhavan Mukund, editors, ATVA, volume 7561 of Lecture Notes in Computer Science