EasyChair Smart SlideDocs/Log in
Author: Oded Padon

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

Deductive Verification of Distributed Protocols in First-Order Logic

Deductive Verification of Distributed Protocols in First-Order Logic

Oded Padon

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