HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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 Clauses2, Craig interpolation, Function Summaries, incremental verification, inductive invariant, inductive invariants, linearization, relational verification, Satisfiability Modulo Theories, software verification, Unbounded Model Checking.

Copyright © 2012-2025 easychair.org. All rights reserved.