Login / Signup
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest.
Matt Luckcuck
Rafael C. Cardoso
Published in:
CoRR (2021)
Keyphrases
</>
formal verification
coloured petri nets
model checker
model checking
cryptographic protocols
symbolic model checking
bounded model checking
automated verification
program slicing
lightweight
maximum a posteriori
expert systems