HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Grigory Fedyukovich

Publications
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

Bounded Model Checking, Constrained Horn Clauses, Craig interpolation, Function Summaries, incremental verification, inductive invariant, linearization, relational verification, Satisfiability Modulo Theories, software verification, Unbounded Model Checking.

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