The formal method involves using a programming language (a mathematically based, verification oriented language) to verify another module in some other programming language.

I’m sure it strengthens the codebase being verified. But there is a reason systems engineering of involves both verification and validation.