Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Constrained Horn Clauses
Papers
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
Reasoning About Data Trees Using CHCs
Marco Faella
and
Gennaro Parlato
EasyChair Preprint no. 8615
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-2024 easychair.org. All rights reserved.