Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Virgil Șerbănuță"'
Autor:
Brandon Moore, Virgil Șerbănuță, Traian Florin Șerbănuță, Yi Zhang, Daniele Filaretti, Grigore Rosu, Dwight Guth, Ralph E. Johnson, Theodoros Kasampalis
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030309411
FM
FM
This paper proposes IELE, an LLVM-style language, together with a tool ecosystem for implementing and formally reasoning about smart contracts on the blockchain. IELE was designed by specifying its semantics formally in the K framework. Its implement
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6ba2d82ecfc6bf41c3e03cb7dbf9df3
https://doi.org/10.1007/978-3-030-30942-8_35
https://doi.org/10.1007/978-3-030-30942-8_35
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited