Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters.

Matthew Hague, Anthony Widjaja Lin

Browse the full CAV paper archive.