Formal Systems Laboratory

A Language-Independent Approach to Smart Contract Verification

Xiaohong Chen and Daejun Park and Grigore Rosu
ISoLA'18 Springer, pp 405-413, November 2018
PDF BIB ISoLA'18 Formally Verified Smart Contracts

Abstract. This invited paper reports the current progress of smart contract verification with the K framework in a language-independent style.