Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction.

Paul Eichler, Swen Jacobs, Chana Weil-Kennedy

Browse the full VMCAI paper archive.