CADP - A Protocol Validation and Verification Toolbox.

Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu

Browse the full CAV paper archive.