Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts.

Joo Santos Reis, Paul Andrew Crocker, Simo Melo de Sousa

Browse the full CAV paper archive.