EasyChair Smart SlideDocs/Log in
Author: Rohit Dureja

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

Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration

Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration

Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams and Kristin Yvonne Rozier

SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability

SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability

Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier and Moshe Vardi

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