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