Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components.
Frederic TronelFrédéric LangHubert GaravelPublished in: FMOODS (2003)
Keyphrases
- software components
- protocol specification
- formal specification
- cryptographic protocols
- model checker
- software systems
- formal analysis
- software reuse
- software development
- colored petri nets
- building blocks
- model checking
- web services
- software modules
- formal verification
- commercial off the shelf
- reusable components
- formal methods
- relational databases
- java programs
- development environments
- software artifacts
- lightweight
- software repositories
- database
- machine learning