Publications

Export 5 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is I and Author is Grigory Fedyukovich  [Clear All Filters]
2011
Interpolation-based Function Summaries in Bounded Model Checking, Sery, O., Fedyukovich Grigory, and Sharygina Natasha , Haifa Verification Conference (HVC), Haifa, Israel, (2011)
2012
Incremental Upgrade Checking by Means of Interpolation-based Function Summaries, Sery, O., Fedyukovich Grigory, and Sharygina Natasha , Twelfth International Conference on Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK, (2012)
2013
Interpolation-based model checking for efficient incremental analysis of software, Fedyukovich, Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, (2013)
2014
Incremental Verification of Compiler Optimizations, Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha , NASA Formal Methods (NFM), Houston, Texas, USA, (2014)
2020
Incremental Verification by SMT-based Summary Repair, Asadi, Sepideh, Blicha Martin, Hyvärinen Antti E. J., Fedyukovich Grigory, and Sharygina Natasha , 20th conference on FORMAL METHODS in COMPUTER-AIDED DESIGN – FMCAD 2020, (2020)