A Language-Independent Approach to Smart Contract Verification

Chen, XiaohongPark, DaejunRoşu, Grigore
ISoLA’18

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