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

Paul Eichler, Swen Jacobs, Chana Weil-Kennedy

We introduce a new framework for verifying systems with a parametric number of concurrently running processes. The systems we consider are well-structured with respect to a specifi…