Author:Dmitry Mordvinov
Keyphrasesalgebraic data types, CEGAR, Collaborative Inference, Constrained Horn Clauses2, inductive invariant, inductive invariants, linearization, relational verification, Unbounded Model Checking. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |