HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Constrained Horn Clauses

Publications
Reasoning About Data Trees Using CHCs
Marco Faella and Gennaro Parlato
EasyChair Preprint 8615
Automatic Bit- and Memory-Precise Verification of eBPF Code
Martin Bromberger, Simon Schwarz and Christoph Weidenbach
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
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
Copyright © 2012-2025 easychair.org. All rights reserved.