A Language-Independent Approach to Smart Contract Verification

From FSL
Revision as of 23:09, 4 December 2018 by Xiaohong (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

ISoLA 2018

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.
PDF, Slides(PPTX), Formally Verified Smart Contracts, DOI, ISoLA'18, BIB


Personal tools
Namespaces

Variants
Actions
Navigation