Interpolation-based model checking for efficient incremental analysis of software.

Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina

Browse the full DDECS paper archive.