The Benefit of Concurrency in Model Checking

by Baruch Sterin , Niklas Een , Alan Mishchenko , Robert Brayton