Defining the Ethereum Virtual Machine for Interactive Theorem Provers.
Yoichi HiraiPublished in: Financial Cryptography Workshops (2017)
Keyphrases
- virtual machine
- theorem prover
- computer algebra systems
- operating system
- automated reasoning
- theorem proving
- automated theorem proving
- computer algebra
- automated deduction
- first order logic
- distributed computing
- inference rules
- data center
- application level
- lower layers
- virtual memory
- higher order logic
- formal semantics
- java virtual machine
- proof search
- distributed systems
- windows xp
- cloud computing environment
- knowledge representation
- cost effective