Reducing Context-Bounded Concurrent Reachability to Sequential Reachability.

Salvatore La Torre, P. Madhusudan, Gennaro Parlato

Browse the full CAV paper archive.