4 ms·Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny1 points by mrLSD-dev 11mo ago