Quantified Invariant Generation using an Interpolating Saturation Prover
https://www.powershow.com/view4/6f575d-MzE4Y/Quantified_Invariant_Generation_using_an_Interpolating_Saturation_Prover_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
