Interpolation-based model checking for efficient incremental analysis of software

Grigory Fedyukovich, Antti E. J. Hyvarinen, Natasha Sharygina. Interpolation-based model checking for efficient incremental analysis of software. In Lukás Sekanina, Görschwin Fey, Jaan Raik, Snorre Aunet, Richard Ruzicka, editors, 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2013, Karlovy Vary, Czech Republic, April 8-10, 2013. pages 8-9, IEEE Computer Society, 2013. [doi]

Abstract

Abstract is missing.