A TLA+ Formal Proof of a Cross-Chain Swap

Zeinab Nehaï, François Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier. A TLA+ Formal Proof of a Cross-Chain Swap. In ICDCN '22: 23rd International Conference on Distributed Computing and Networking, Delhi, AA, India, January 4 - 7, 2022. pages 148-159, ACM, 2022. [doi]

Abstract

Abstract is missing.