News for hackers. Stuff that matters.

A comment on Do companies exist where software isn't done with chewing gum and duct tape?. Parent comment

Re:Do companies exist where software isn't done with chewing... by seanwilson on Thursday May 25, 2017 @10:16AM (#14417423)
Formal verification is an really interesting and challenging field but it's worth commenting that it is very expensive and time consuming. It generally only makes sense right now when bugs can cause serious damage.
[ Parent | on HN ]

There are no comments on this comment yet.