Interpolation and SAT-based model checking revisited: Adoption to software verification

Published in Techical Report on arXiv, 2022

Dirk Beyer, Nian-Ze Lee, and Philipp Wendler. arXiv/CoRR, 2208(05046), 2022. https://doi.org/10.48550/arXiv.2208.05046