evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

Search similar apps

    License

    BSD 3-Clause "New" or "Revised" License

    K Semantics of the Ethereum Virtual Machine (EVM)

    Creator

    runtimeverification

    Related apps

    avm-semantics

    Python15bsd-3-clause

    3 months ago