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.