News for hackers. Stuff that matters.
Re:Why Don't People Use Formal Methods? by patates on Tuesday January 22, 2019 @05:09AM (#18967257)
It depends on the stakes mainly, but also the experience of the stakeholders of a project. Both extremes (heavily tested, proven code vs "let's hope this works" code) are common but usually you're not allowed to speak about anything because of non-disclosure agreements and proven or not, all code is manually tested like crazy anyway. You commonly get insane overhead and just working code.

There are no comments on this comment yet.