Author:Grigory Fedyukovich

Publications
Collaborative Inference of Combined Invariants Yurii Kostyukov, Dmitry Mordvinov and Grigory Fedyukovich In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Function Summarization Modulo Theories Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina and Hana Chockler In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Synchronizing Constrained Horn Clauses Dmitry Mordvinov and Grigory Fedyukovich In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

algebraic data types, Bounded Model Checking, CEGAR, Collaborative Inference, Constrained Horn Clauses², Craig interpolation, Function Summaries, incremental verification, inductive invariant, inductive invariants, linearization, relational verification, Satisfiability Modulo Theories, software verification, Unbounded Model Checking.