PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.

Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvrinen, Natasha Sharygina

Browse the full LPAR paper archive.