Formal Analysis of Smart Contracts: Applying the KeY System
Book chapter, 2020
Author
Jonas Schiffl
Karlsruhe Institute of Technology (KIT)
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
B. Beckert
Karlsruhe Institute of Technology (KIT)
Richard Bubel
Technische Universität Darmstadt
Deductive Software Verification: Future Perspectives
204-218
Subject Categories
Embedded Systems
Computer Science
Computer Systems
DOI
10.1007/978-3-030-64354-6_8