Publications
Export 2 results:
[ Author] Title Type Year Filters: First Letter Of Title is I and Author is Grigory Fedyukovich [Clear All Filters]
Interpolation-based model checking for efficient incremental analysis of software,
, IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, (2013)
Incremental Verification of Compiler Optimizations,
, NASA Formal Methods (NFM), Houston, Texas, USA, (2014)