Towards a Formal Verification of the Lightning Network with TLA+.

Matthias Grundmann Hannes Hartenstein

Published in: CoRR (2023)

Keyphrases

formal verification
model checking
temporal logic
computer networks
network structure
communication networks
automated verification
peer to peer
network model
bounded model checking
multi agent systems
network management
model checker
symbolic model checking
program slicing
network resources