Keone Hon
@keoneHD
cofounder / GM @monad 💜
Leave me feedback:
Joined January 2009
1.6K Following 140.7K Followers
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
Show more
