Binayak Das

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Reachability Analysis

Multi Core Processors

Top Venues

Haifa Verification Conference

Publications

Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
XSpeed: Accelerating Reachability Analysis on Multi-core Processors. Haifa Verification Conference (2015)