Here's an article that touches on some of the points that the other commenters are bringing up: "Why Don't People Use Formal Methods?"[0] Excerpt: "The incredi

Here's an article that touches on some of the points that the other commenters are bringing up: "Why Don't People Use Formal Methods?"[0] Excerpt: "The incredible progress here is evident in the IronFleet project: by using advanced SMT solvers and a cutting-edge verification language, Microsoft was able to write 5,000 lines of verified Dafny code in only 3.7 person-years! That’s a blazing-fast rate of four whole lines a day." [0] https://hillelwayne.com/post/why-dont-people-use-formal-methods/ https://hillelwayne.com/post/why-dont-people-use-formal-meth...