Dapp StoreEthereumSolidity ToolsEVM Tools
EVM Tools


A model of the Ethereum Virtual Machine (EVM) with K semantics.

Ethereum Logo

What is KEVM?

Runtime Verification Inc's K framework-based model and walkthrough to help write custom tests from a language and environment you deploy and maintain. Developers can create tests with more control of the underlying framework's semantics. Working knowledge of the K framework or its implementations is a prerequisite.

Use web3's most scalable and reliable RPC nodes
Get your API key
Is this your project?
Request edits

Best EVM Tools

Discover more web3 applications and developer tools.

See all dapps
Section background image

Build blockchain magic

Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.

Get your API key