Reviewing日本語 JapaneseChange

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

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

Coming soon: voting and suggestions need an account, which ships in a later phase. Everything shown here is live glossary data.

Previous termNext term

into Japanese

If your term matches an existing suggestion, we’ll upvote that one for you instead of creating a duplicate.