AVIO:%20Detecting%20Atomicity%20Violations%20via%20Access%20Interleaving%20Invariants
https://www.powershow.com/view4/759650-NmJiM/AVIO_20Detecting_20Atomicity_20Violations_20via_20Access_20Interleaving_20Invariants_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
