EasyChair Smart SlideUser guide
Author: Jaroslav Bendík

This page shows all presentations of this author published in EasyChair Smart Slide.

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification

Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh

Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets

Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets

Jaroslav Bendík and Ivana Cerna

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair