Symbolic Counter Abstraction for Concurrent Software.

Grard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening

Browse the full CAV paper archive.