Author:Dmitry Mordvinov

Keyphrases

algebraic data types, CEGAR, Collaborative Inference, Constrained Horn Clauses², inductive invariant, inductive invariants, linearization, relational verification, Unbounded Model Checking.