Author:Grigory Fedyukovich
KeyphrasesBounded Model Checking, Constrained Horn Clauses, Craig interpolation, Function Summaries, incremental verification, inductive invariant, linearization, relational verification, Satisfiability Modulo Theories, software verification, Unbounded Model Checking. |