Formal Analysis of Smart Contracts: Applying the KeY System

Buchkapitel

Autor(en):Jonas Schiffl, Wolfgang Ahrendt, Bernhard Beckert und Richard Bubel
In:Deductive Software Verification: Future Perspectives
Verleger:Springer
Reihe:Lecture Notes in Computer Science
Band:12345
Jahr:2020
Seiten:204-218

BibTeX

@incollection{schiffl2020formal,
  title     = {Formal Analysis of Smart Contracts: Applying the KeY System},
  author    = {Jonas Schiffl and Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel},
  booktitle = {Deductive Software Verification: Future Perspectives},
  editor    = {Wolfgang Ahrendt and
               Bernhard Beckert and
               Richard Bubel and
               Reiner H{\"a}hnle and
               Mattias Ulbrich},
  pages     = {204--218},
  year      = {2020},
  month     = dec,
  series    = {Lecture Notes in Computer Science},
  volume    = {12345},
  publisher = {Springer}
}