Verification of Shared-Reading Synchronisers

Afshin Amighi, Marieke Huisman, Stefan Blom

Synchronisation classes are an important building block for shared memory concurrent programs. Thus to reason about such programs, it is important to be able to verify the implemen…