On bounded model checking, abstract interpretation, interpolants, and induction
https://www.powershow.com/view/1a94a9-MGIxN/On_bounded_model_checking_abstract_interpretation_interpolants_and_induction_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
