Formal Analysis of Smart Contracts: Applying the KeY System
Kapitel i bok, 2020
Författare
Jonas Schiffl
Karlsruher Institut für Technologie (KIT)
Wolfgang Ahrendt
Chalmers, Data- och informationsteknik, Formella metoder
B. Beckert
Karlsruher Institut für Technologie (KIT)
Richard Bubel
Technische Universität Darmstadt
Deductive Software Verification: Future Perspectives
204-218
Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1007/978-3-030-64354-6_8