EasyChair Smart SlideUser guide
Author: Andreas Podelski

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

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv and Sharon Shoham

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 – 2026 EasyChair