Accelerating Interpolation-Based Model-Checking.

Nicolas Caniart, Emmanuel Fleury, Jrme Leroux, Marc Zeitoun

Browse the full TACAS paper archive.