CADP - A Protocol Validation and Verification Toolbox.
Jean-Claude FernandezHubert GaravelAlain KerbratLaurent MounierRadu MateescuMihaela SighireanuPublished in: CAV (1996)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- formal verification
- communication protocols
- coloured petri nets
- model checking
- lightweight
- software package
- colored petri nets
- formal proof
- petri net model
- information systems
- communication protocol
- face verification
- petri net
- model validation
- network protocols
- formal methods
- tcp ip
- high security