Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications.
Manuel Aguilar CornejoHubert GaravelRadu MateescuNoel De PalmaPublished in: DAIS (2001)
Keyphrases
- protocol specification
- dynamic reconfiguration
- communication protocols
- cryptographic protocols
- formal specification
- application specific
- software systems
- model checker
- model checking
- formal verification
- formal methods
- colored petri nets
- software architecture
- formal analysis
- quality of service
- lightweight
- multi agent
- multi agent systems
- dynamic behavior
- authentication protocol
- petri net
- asynchronous circuits
- high level
- machine learning
- concurrent systems
- optical networks