HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Jaroslav Bendík

Publications
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh
In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Rotation Based MSS/MCS Enumeration
Jaroslav Bendík and Ivana Cerna
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
Jaroslav Bendík and Ivana Cerna
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

diagnosis, Domain-agnostic, formal verification, Infeasibility analysis2, Linear Integer Arithmetic, Maximal satisfiable subsets, MCS, Minimal Correction Subsets, minimal unsatisfiable subsets, MSS, MUS enumeration, non-linear integer arithmetic, non-linear real arithmetic, smart contracts, SMT solving, Unsatisfiability analysis.

Copyright © 2012-2025 easychair.org. All rights reserved.