Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks.

Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani

Browse the full CAV paper archive.