A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution.

Thi Thu Ha Doan, Peter Thiemann

Browse the full APLAS paper archive.