EasyChair Smart SlideDocs/Log in
Author: Aman Goel

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

Towards an Automatic Proof of Lamport's Paxos

Towards an Automatic Proof of Lamport's Paxos

Aman Goel and Karem A. Sakallah

Model Checking of Verilog RTL using IC3 with Syntax-guided Abstraction

Model Checking of Verilog RTL using IC3 with Syntax-guided Abstraction

Aman Goel and Karem Sakallah

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