A Language-Independent Approach to Smart Contract Verification
Revision as of 15:25, 3 August 2018 by Xiaohong
ISoLA 2018 (To Appear)
- A Language-Independent Approach to Smart Contract Verification
- Xiaohong Chen and Daejun Park and Grigore Rosu
- ISoLA'18, Springer, pp 405-413. 2018
- Abstract. This invited paper reports the current progress of smart contract verification with the K framework in a language-independent style.