Formal Verification of the Pastry Protocol Using \mathrmTLA^+.

Published in: SETTA (2015)

Keyphrases

formal verification
coloured petri nets
model checker
model checking
cryptographic protocols
automated verification
bounded model checking
symbolic model checking
lightweight
program slicing
expert systems
formal analysis