More info about the Formal Verification effort on Monad:
C/C++ can be formally verified, we've verified portipns of the C++ Monad execution client (the riskier portions)
We also have an OCaml implementation for differential fuzzing and further formal verification efforts
もっと見る
