Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA

Matthias Grundmann, Hannes Hartenstein

Browse the full IFM paper archive.