Opening the Black Box: Interpolation in SMT-based Model Checking Martin Blicha* # , Antti E. J. Hyvärinen*, Jan Kofroň # , Natasha Sharygina* *Università della Svizzera italiana, Lugano, Switzerland # Charles University, Prague, Czech Republic Università della Svizzera italiana
3
Embed
Opening the Black Box - FORSYTE · Interpolation in SMT-based Model Checking Martin Blicha*#, Antti E. J. Hyvärinen*, Jan Kofroň#, Natasha Sharygina* *Università della Svizzera
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Opening the Black Box: Interpolation in SMT-based Model Checking
Martin Blicha*#, Antti E. J. Hyvärinen*, Jan Kofroň#, Natasha Sharygina*