This page shows all presentations of this author published in EasyChair Smart Slide.
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
Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier and Moshe Vardi