Counterexample Guided Abstraction Refinement via Program Execution
https://www.powershow.com/view/3cfe3b-OWNhY/Counterexample_Guided_Abstraction_Refinement_via_Program_Execution_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
