Quantified Invariant Generation using an Interpolating Saturation Prover
https://www.powershow.com/view/8fa6f-MTQ2N/Quantified_Invariant_Generation_using_an_Interpolating_Saturation_Prover_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
