Formal Verification of Monero code

Question

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.

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.