Automatic Component Protocol Generation and Verification of Components.
Andreas BothDirk RichterPublished in: EUROMICRO-SEAA (2010)
Keyphrases
- software components
- cryptographic protocols
- formal analysis
- model checker
- protocol specification
- semi automatic
- coloured petri nets
- formal verification
- lightweight
- model checking
- formal specification
- generation process
- security protocols
- tcp ip
- multi agent systems
- metadata
- component based development
- neural network
- database