EasyChair Smart SlideDocs/Log in
Author: Mooly Sagiv

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

Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols

Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols

Mooly Sagiv

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: 2
Copyright © 2002 – 2024 EasyChair