Formal design, implementation and verification of blockchain languages

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publication3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018
EditorsHelene Kirchner
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959770774
DOIs
StatePublished - Jul 1 2018
Event3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018 - Oxford, United Kingdom
Duration: Jul 9 2018Jul 12 2018

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume108
ISSN (Print)1868-8969

Other

Other3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018
CountryUnited Kingdom
CityOxford
Period7/9/187/12/18

Keywords

  • Blockchain
  • Formal semantics
  • Program verification

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Formal design, implementation and verification of blockchain languages'. Together they form a unique fingerprint.

Cite this