A model of the Ethereum Virtual Machine (EVM) with K semantics.
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.
Sign up for a free Alchemy Account
Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.