Splitting via Interpolants
Abstract elided by the publisher.
Related papers
- Space-Time Interpolants CAV 2018
- Widening and Interpolation SAS 2011
- Lazy Abstraction with Interpolants CAV 2006
- Merit: An Interpolating Model-Checker CAV 2010
- Beautiful Interpolants CAV 2013
- Effectively Propositional Interpolants CAV 2016
- An Interpolating Theorem Prover TACAS 2004
- Interpolating Property Directed Reachability CAV 2014