TSA Jetton Analyzer

Formal verification of TEP-74 jetton contracts via symbolic execution