Structural Invariants for the Verification of Systems with Parameterized Architectures
Abstract
We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata.