Cardinalities and universal quantifiers for verifying parameterized systems.

Klaus von Gleissenthall, Nikolaj S. Bjrner, Andrey Rybalchenko

Browse the full PLDI paper archive.