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.
-
1FWIW, I read the comment you linked not as a plan, but a possibility.– user36303Aug 25, 2016 at 23:06
1 Answer
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.