@inproceedings{252365886ed444119e4d9cd173832f9b,
title = "A language-independent approach to smart contract verification",
abstract = "This invited paper reports the current progress on smart contract verification with the K framework in a language-independent style.",
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 (US)",
isbn = "9783030034269",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
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",
address = "Germany",
}