Accelerating Interpolation-Based Model-Checking. - Nicolas Caniart; Emmanuel Fleury; Jérôme Leroux; Marc Zeitoun (TACAS, 2008)

Merit: An Interpolating Model-Checker. - Nicolas Caniart (CAV, 2010)