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 analysis², 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.