Verification of Parameterized Systems by Dynamic Induction on Diagrams.

Zohar Manna, Henny Sipma

Browse the full CAV paper archive.