Fernandez-Garavel-et-al-96

CADP: A Protocol Validation and Verification Toolbox

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

Proceedings of the 8th Conference on Computer-Aided Verification (New Brunswick, New Jersey, USA), pages 437-440, August 1996

paper describing the toolbox and its components, presented at CAV'96. This paper completes the previous one and summarizes the latest features of CADP at the time it was written.

4 pages
PDF

PostScript