Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny(arxiv.org)
arxiv.org
Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
https://arxiv.org/abs/2510.24798
0 comments
—
https://arxiv.org/abs/2510.24798
—