Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest.
Matt LuckcuckRafael C. CardosoPublished in: EMAS@AAMAS (2021)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- symbolic model checking
- cryptographic protocols
- automated verification
- bounded model checking
- maximum a posteriori
- program slicing
- formal methods
- temporal logic
- reinforcement learning
- formal specification
- network devices
- distributed databases
- functional verification
- lightweight