News for hackers. Stuff that matters.

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

Re:Do companies exist where software isn't done with chewing... by JoachimSchipper on Wednesday May 24, 2017 @05:11AM (#14408611)
Some pointers:

- danluu.com (user luu) on testing in the hardware world (e.g. https://danluu.com/tests-v-reason/) and at Google

- in general, mature high-quality engineering organizations like Google and modern Microsoft

- e.g. Praxis (Google "Tokeneer report") and Galois practice semi-formal and formal methods to produce useful software

- e.g. TrustInSoft and seL4 go to full formal verification

[ Parent | on HN ]
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 ]