Formal methods only solve half my problems
My work is often little internal tools and a few b2b websites. I hate down time due to bugs. I still get nervous when I install to production. Always taking back up after back up and talking myself through the process of rebuilding from scratch. Just in case this time I have to.<p>Would formal methods help with code at this level?<p>I suspect the cost benefit isn&#x27;t there. Though I wish it was. I&#x27;ve seen the difference between having tests and not having them. Development time decreases, and my stress levels decrease. Is this the same with formal methods?