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 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.