Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.
Franck CassezJoanne FullerMilad K. GhaleDavid J. PearceHoracio Mijail Anton QuilesPublished in: CoRR (2023)
Keyphrases
- virtual machine
- formal specification
- operating system
- process algebra
- formal language
- data center
- operational semantics
- model theoretic
- machine processable
- distributed computing
- low latency
- formal semantics
- highly expressive
- formal methods
- control flow
- computing resources
- virtual memory
- cloud computing environment
- logic programming
- model checking
- information systems
- dynamic aspects
- attribute grammars
- windows xp
- cost effective
- java virtual machine
- cloud computing
- multi tasking
- computer systems