EasyChair Smart SlideDocs/Log in
Author: Alexander Nutz

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

The Map Equality Domain

The Map Equality Domain

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz and Andreas Podelski

A Tree-Based Approach to Data Flow Proofs

A Tree-Based Approach to Data Flow Proofs

Jochen Hoenicke, Alexander Nutz and Andreas Podelski

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair