A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson.

Barnabas Arvay, Thi Thu Ha Doan, Peter Thiemann

Browse the full ECOOP paper archive.