Truth/SLC - A Parallel Verification Platform for Concurrent Systems.

Martin Leucker, Thomas Noll

Browse the full CAV paper archive.