Automated Extraction of Inductive Invariants to Aid Model Checking
https://www.powershow.com/view1/1740ab-ZDc1Z/Automated_Extraction_of_Inductive_Invariants_to_Aid_Model_Checking_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
