Dynamic Cutoff Detection in Parameterized Concurrent Programs.

Alexander Kaiser, Daniel Kroening, Thomas Wahl

Browse the full CAV paper archive.