Services (1)
Tool Type
Tool
Tag
["Formal Verification", "Formal Methods", "K Framework"]
Price
$0
Formal specification of the Ethereum Virtual Machine in the K framework by Runtime Verification, enabling rigorous testing, verification, and analysis of EVM semantics and smart contracts.