Unified Fairness for Weak Memory Verification

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole +2

We consider the verification of omega-regular linear temporal properties of concurrent programs running under weak memory semantics. We observe that in particular, these properties…