Publications
Export 4 results:
Author [ Title] Type Year Filters: First Letter Of Title is F and Author is Grigory Fedyukovich [Clear All Filters]
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization,
, Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India, (2012)
Function Summarization Modulo Theories,
, 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR, Ethiopia, (2018)
Function Summaries in Software Upgrade Checking,
, Haifa Verification Conference (HVC), Haifa Verification Conference (HVC), (2011)
Farkas-Based Tree Interpolation,
, SAS 2020 - 27th Static Analysis Symposium, Online Conference, (2020)