Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs.

Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl

Browse the full CAV paper archive.