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

Zeinab Nehaï François Bobot Sara Tucci Piergiovanni Carole Delporte-Gallet Hugues Fauconnier

Published in: ICDCN (2022)

Keyphrases

formal proof
theorem prover
temporal logic
graph cuts
recommender systems
multiscale
objective function
computational complexity
feature space
expert systems
special case