search

pirapira / evmverif

An EVM code verification framework in Coq
Apache License 2.0
44 stars 8 forks source link

EVM interpreter in WhyML? #3

Open pirapira opened 7 years ago

pirapira commented 7 years ago

Port the EVM interpreter in WhyML so that the functional correctness can be verified in many theorem provers/SMT solvers.