Automated Verification of Concurrent Linked Lists with Counters
https://www.powershow.com/view/1313d8-ODE2N/Automated_Verification_of_Concurrent_Linked_Lists_with_Counters_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/