On the Formal Verification of the Stellar Consensus Protocol.

Giuliano Losa Mike Dodds

Published in: FMBC@CAV (2020)

Keyphrases

formal verification
coloured petri nets
model checker
model checking
cryptographic protocols
symbolic model checking
bounded model checking
automated verification
lightweight
program slicing
temporal logic
authentication protocol
artificial intelligence