This answer mentions a plan to eventually formally verify Monero code. Which approach will be used for that verification process? The cited wikipedia page mentions model checking, deductive verification and program derivation as possibilities.

  • 1
    FWIW, I read the comment you linked not as a plan, but a possibility.
    – user36303
    Aug 25, 2016 at 23:06

1 Answer 1


If the core Monero daemon gets to a point where it's particularly secure and particularly stable (eg. the code has been formally verified).

Sounds like an idea rather than a particular plan with dates and methods intended for verification. When Monero is particularly secure and particularly stable, then they will probably start discussing methods of verification.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.