From Computationally-proved Protocol Specifications to Implementations.
David CadéBruno BlanchetPublished in: ARES (2012)
Keyphrases
- protocol specification
- model checker
- lightweight
- state machines
- coloured petri nets
- model checking
- efficient implementation
- communication protocol
- formal verification
- formal specification
- network protocols
- case study
- neural network
- application layer
- formal analysis
- communication protocols
- network simulator
- high level
- file transfer