Interpolation Properties and SAT-Based Model Checking.

Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina

Browse the full ATVA paper archive.