KEVM

github.comtool

A formal model of the EVM in the K framework.

from

EVM Security

added

2026-10-10

likes

0

EVM Security › System Assets: “A formal model of the EVM in the K framework.”