Difference between revisions of "A Language-Independent Approach to Smart Contract Verification"

From FSL
Jump to: navigation, search
(2 intermediate revisions by one user not shown)
Line 1: Line 1:
== ISoLA 2018 ==
<pubbib id='chen-park-rosu-2018-isola' template='PubDefaultWithAbstractAndTitle'/>
== ISoLA 2018 Submission ==
== ISoLA 2018 Submission ==
<pubbib id='chen-rosu-park-2018-isola-submission' template='PubDefaultWithAbstractAndTitle'/>
<pubbib id='chen-park-rosu-2018-isola-submission' template='PubDefaultWithAbstractAndTitle'/>

Latest revision as of 23:10, 4 December 2018

[edit] 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