Interpolation-based model checking for efficient incremental analysis of software

TitleInterpolation-based model checking for efficient incremental analysis of software
Publication TypeConference Paper
Year of Publication2013
AuthorsFedyukovich, Grigory, Hyvärinen Antti E. J., and Sharygina Natasha
Conference NameIEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems
Full Text