Automated Inductive Verification of Parameterized Protocols.

Abhik Roychoudhury, I. V. Ramakrishnan

Browse the full CAV paper archive.