A Language-Independent Approach to Smart Contract Verification

From FSL
Jump to: navigation, search

ISoLA 2018 (To Appear)

A Language-Independent Approach to Smart Contract Verification
Xiaohong Chen and Daejun Park and Grigore Rosu
ISoLA'18. 2018. To appear
Abstract. This invited paper reports the current progress of smart contract verification with the K framework in a language-independent style.
PDF, BIB


Personal tools
Namespaces

Variants
Actions
Navigation