Submission #5

The present document describes high level approach, methodology and business-level scenarios for the formal verification of the Free TON TIP-3 smart contract. Its mission is to provide the detailed description for items mentioned below:

  • Formal description of the contact behaviour in the different cases
  • Possible malfunctions and attacks
  • Approaches how to formally verify (prove) that the behavior is exactly the same as described in this articles and that suspected attacks are not possible


SergePruvendo

0:d0e20274758acb651930c5b9b7dfda330583624f0e4d0b8ffc63bc287c69c5e3

Links and attachments

Statistics

Follow the link below to see statistical information about this submission.

http://freeton-stats.org/contest?contest...