Going from Concrete to Symbolic Model Checking via Predicate Abstraction
https://www.powershow.com/view1/1ae035-ZDc1Z/Going_from_Concrete_to_Symbolic_Model_Checking_via_Predicate_Abstraction_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
