Author:Grigory Fedyukovich

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.