ReviewingDeutsch GermanChange

Term

KEVM

Definition

A formal, executable specification of the EVM written in the K framework. It serves both as a precise definition of EVM semantics and as a basis for verifying contracts against it.
More in style guide
Something off about this term?

Suggested translation

Cast your vote on the terms below to help the community select the best translation for each context.

  • KEVM
    Prose
  • KEVM
    Heading
  • KEVM
    Tag
  • KEVM
    UI
  • oneKEVMotherKEVMs
    Plurals
Previous termNext term

Into German, for the context

Suggestions go to the glossary maintainers, who review them alongside everyone else’s. They are not shown to other visitors until approved.