Flexible Interpolation for Efficient Model Checking

TitleFlexible Interpolation for Efficient Model Checking
Publication TypeConference Paper
Year of Publication2016
AuthorsHyvärinen, Antti E. J., Alt Leonardo, and Sharygina Natasha
Conference NameMEMICS 2016
URLhttp://verify.inf.usi.ch/sites/default/files/MEMICS2016.pdf