Detecting fair non-termination in multithreaded programs (0)

by Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal
Venue:In Proc. CAV ’12