8

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 '16 at 23:06
3

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.

| improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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