Beltsys Labs
Beltsys Labs
KEVM

KEVM

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

Ethereum

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.

Best Dev Tools

Discover more web3 applications and developer tools.

View all dApps →

Need a custom blockchain solution?

We build dApps, smart contracts and Web3 solutions for startups and fintech.

Contact Us