Specification and Verification of a Multi-agent Coordination Protocol with TLA+.
Pedro Yuri Arbs PaivaOsamu SaotomeChristof BrandauerPublished in: SBESC (2018)
Keyphrases
- multi agent coordination
- protocol specification
- formal verification
- model checker
- formal specification
- communication protocols
- multiple agents
- model checking
- multi agent
- temporal logic
- formal methods
- colored petri nets
- cryptographic protocols
- single agent
- formal analysis
- asynchronous circuits
- specification language
- authentication protocol
- cooperative
- reinforcement learning
- high level