Formal Jetton Analyzer

Formal verification of TEP-74 jetton contracts via symbolic execution

Examples:
Disclaimer
Running symbolic analysis... 300s