TY - GEN
T1 - Formal design, implementation and verification of blockchain languages
AU - Rosu, Grigore
N1 - Publisher Copyright:
© Grigore Rosu; licensed under Creative Commons License CC-BY.
PY - 2018/7/1
Y1 - 2018/7/1
N2 - This invited paper describes recent, ongoing and planned work on the use of the rewrite-based semantic framework K to formally design, implement and verify blockchain languages and virtual machines. Both academic and commercial endeavors are discussed, as well as thoughts and directions for future research and development.
AB - This invited paper describes recent, ongoing and planned work on the use of the rewrite-based semantic framework K to formally design, implement and verify blockchain languages and virtual machines. Both academic and commercial endeavors are discussed, as well as thoughts and directions for future research and development.
KW - Blockchain
KW - Formal semantics
KW - Program verification
UR - http://www.scopus.com/inward/record.url?scp=85049810338&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85049810338&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.FSCD.2018.2
DO - 10.4230/LIPIcs.FSCD.2018.2
M3 - Conference contribution
AN - SCOPUS:85049810338
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018
A2 - Kirchner, Helene
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018
Y2 - 9 July 2018 through 12 July 2018
ER -