Structural Invariants for the Verification of Systems with Parameterized Architectures.

Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel

Browse the full TACAS paper archive.