Transformational Verification of Parameterized Protocols Using Array Formulas.

Alberto Pettorossi, Maurizio Proietti, Valerio Senni

Browse the full LOPSTR paper archive.