Sign in
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.
Everett Hildenbrandt
Manasvi Saxena
Nishant Rodrigues
Xiaoran Zhu
Philip Daian
Dwight Guth
Brandon M. Moore
Daejun Park
Yi Zhang
Andrei Stefanescu
Grigore Rosu
Published in:
CSF (2018)
Keyphrases
</>
formal semantics
virtual machine
operating system
data center
logical language
logical reasoning
formal language
multi tasking
modeling language
virtual memory
theorem prover
modelling language
operational semantics
first order logic
data analysis
artificial intelligence
databases
cost effective