This invited paper reports the current progress on smart contract verification with the K framework in a language-independent style.
CITATION STYLE
Chen, X., Park, D., & Roşu, G. (2018). A language-independent approach to smart contract verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11247 LNCS, pp. 405–413). Springer Verlag. https://doi.org/10.1007/978-3-030-03427-6_30
Mendeley helps you to discover research relevant for your work.