Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.
Franck CassezJoanne FullerMilad K. GhaleDavid J. PearceHoracio Mijail Anton QuilesPublished in: FM (2023)
Keyphrases
- virtual machine
- formal specification
- process algebra
- operating system
- data center
- machine processable
- model theoretic
- distributed computing
- formal language
- operational semantics
- formal semantics
- computing resources
- low latency
- formal methods
- attribute grammars
- cloud computing environment
- highly expressive
- logic programming
- description logics
- dynamic aspects
- multi tasking
- java card
- virtual memory
- formal languages
- query processing
- java virtual machine
- data streams
- software engineering
- machine learning
- energy consumption