Author:Dmitry Mordvinov

Publications
Collaborative Inference of Combined Invariants Yurii Kostyukov, Dmitry Mordvinov and Grigory Fedyukovich In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Synchronizing Constrained Horn Clauses Dmitry Mordvinov and Grigory Fedyukovich In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

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

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies: