Formal Process Virtual Machine for Smart Contracts Verification
Defining the Ethereum Virtual Machine for Interactive Theorem Provers