A language-independent approach to smart contract verification

Xiaohong Chen; Daejun Park; Grigore Roşu

doi:10.1007/978-3-030-03427-6_30

A language-independent approach to smart contract verification

Xiaohong Chen^*, Daejun Park, Grigore Roşu

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Citations (SciVal)

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer Verlag
Pages	405-413
Number of pages	9
ISBN (Print)	9783030034269
DOIs	https://doi.org/10.1007/978-3-030-03427-6_30
Publication status	Published (VoR) - 2018
Event	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 - Limassol, Cyprus Duration: 5 Nov 2018 → 9 Nov 2018

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11247 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
Country/Territory	Cyprus
City	Limassol
Period	5/11/18 → 9/11/18

Access to Document

10.1007/978-3-030-03427-6_30

Cite this

Chen, X., Park, D., & Roşu, G. (2018). A language-independent approach to smart contract verification. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings (pp. 405-413). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11247 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-03427-6_30

Chen, Xiaohong ; Park, Daejun ; Roşu, Grigore. / A language-independent approach to smart contract verification. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2018. pp. 405-413 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d6f1ba9126244caea3f9b64980123323,

title = "A language-independent approach to smart contract verification",

author = "Xiaohong Chen and Daejun Park and Grigore Ro{\c s}u",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.; 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 ; Conference date: 05-11-2018 Through 09-11-2018",

year = "2018",

doi = "10.1007/978-3-030-03427-6_30",

language = "English",

isbn = "9783030034269",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "405--413",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings",

}

Chen, X, Park, D & Roşu, G 2018, A language-independent approach to smart contract verification. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11247 LNCS, Springer Verlag, pp. 405-413, 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, Limassol, Cyprus, 5/11/18. https://doi.org/10.1007/978-3-030-03427-6_30

A language-independent approach to smart contract verification. / Chen, Xiaohong; Park, Daejun; Roşu, Grigore.
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2018. p. 405-413 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11247 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A language-independent approach to smart contract verification

AU - Chen, Xiaohong

AU - Park, Daejun

AU - Roşu, Grigore

N1 - Publisher Copyright: © Springer Nature Switzerland AG 2018.

PY - 2018

Y1 - 2018

UR - http://www.scopus.com/inward/record.url?scp=85056472923&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85056472923&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-03427-6_30

DO - 10.1007/978-3-030-03427-6_30

M3 - Conference contribution

AN - SCOPUS:85056472923

SN - 9783030034269

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 405

EP - 413

BT - Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

T2 - 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

Y2 - 5 November 2018 through 9 November 2018

ER -

Chen X, Park D, Roşu G. A language-independent approach to smart contract verification. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Springer Verlag. 2018. p. 405-413. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-03427-6_30

A language-independent approach to smart contract verification

Publication series

Conference

Access to Document

Other files and links

Cite this