EasyChair Smart SlideDocs/Log in
Author: Sharon Shoham

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

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