KEVM

KEVM provides a model of the Ethereum Virtual Machine (EVM) implemented with the K framework.

The model and its walkthrough help you write custom tests from a language and environment you deploy and maintain.

Developers can craft tests with greater control over how the framework’s semantics are applied, enabling more precise test scenarios.