Counter-Example Based Predicate Discovery in Predicate Abstraction
https://www.powershow.com/view4/6d4b41-NmQyZ/Counter-Example_Based_Predicate_Discovery_in_Predicate_Abstraction_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
