Grigory Fedyukovich

Available identifiers

zbMath Open fedyukovich.grigoryMaRDI QIDQ784130

List of research outcomes

Publication	Date of Publication	Type
Lockstep composition for unbalanced loops	2024-04-05	Paper
Quantified invariants via syntax-guided synthesis	2024-02-16	Paper
Maximizing branch coverage with constrained Horn clauses	2024-02-01	Paper
Transition power abstractions for deep counterexample detection	2024-01-23	Paper
SMT-based verification of program changes through summary repair	2023-10-30	Paper
Solving constrained Horn clauses over algebraic data types	2023-08-17	Paper
Syntax-guided termination analysis	2023-05-26	Paper
Exploiting synchrony and symmetry in relational verification	2023-05-26	Paper
Fold/Unfold Transformations for Fixpoint Logic	2021-11-10	Paper
Bridging arrays and ADTs in recursive proofs	2021-10-18	Paper
Farkas-based tree interpolation	2021-10-18	Paper
Unbounded procedure summaries from bounded environments	2021-10-18	Paper
Learning inductive invariants by sampling from frequency distributions	2021-02-08	Paper
Synthesizing environment invariants for modular hardware verification	2020-08-05	Paper
Lazy but effective functional synthesis	2020-01-23	Paper
Exploiting partial variable assignment in interpolation-based model checking	2019-11-29	Paper
Function Summarization Modulo Theories	2019-07-04	Paper
Property Directed Equivalence via Abstract Simulation	2019-05-03	Paper
Synchronizing Constrained Horn Clauses	2019-01-10	Paper
Theory refinement for program verification	2017-11-15	Paper
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection	2016-04-01	Paper
Automated Discovery of Simulation Between Programs	2016-01-12	Paper
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification	2014-01-17	Paper
eVolCheck: Incremental Upgrade Checker for C	2013-08-05	Paper

Research outcomes over time

This page was built for person: Grigory Fedyukovich