A TLA+ Formal Proof of a Cross-Chain Swap.

Zeinab Neha, Franois Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier

Browse the full ICDCN paper archive.