Difference between revisions of "A Language-Independent Approach to Smart Contract Verification"
From FSL
m |
|||
| Line 1: | Line 1: | ||
| − | == ISoLA 2018 | + | == ISoLA 2018 == |
<pubbib id='chen-park-rosu-2018-isola' template='PubDefaultWithAbstractAndTitle'/> | <pubbib id='chen-park-rosu-2018-isola' template='PubDefaultWithAbstractAndTitle'/> | ||
<private> | <private> | ||
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.
