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



Links and attachments


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