Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP.
Fabienne BoyerOlivier GruberGwen SalaünPublished in: FM (2011)
Keyphrases
- formal specification language
- lightweight
- manufacturing systems
- coloured petri nets
- network protocols
- formal methods
- formal analysis
- security analysis
- tcp ip
- temporal ordering
- cryptographic protocols
- communication protocols
- cooperative
- temporal logic
- protocol specification
- voting protocols
- low cost
- multi agent systems