evmverif

An EVM code verification framework in Coq

GitHub

44 stars
12 watching
8 forks
Language: Coq
last commit: almost 8 years ago