Re:How Did Software Get So Reliable Without Proof? (1996) [pdf]
by doonesbury on Thursday September 17, 2020 @10:35PM
(#24512389)
Agree. Plus plenty of labor has gone into customer facing bugs that autos, hw, consumer electronics etc prob wouldn't stand for. And we build on hw which is formally verified.
[ Parent
| on HN ]
Re:How Did Software Get So Reliable Without Proof? (1996) [pdf]
by viluon on Friday September 18, 2020 @10:20AM
(#24517101)
> And we build on hw which is formally verified.
Ehm, what?
Re:How Did Software Get So Reliable Without Proof? (1996) [pdf]
by Jtsummers on Friday September 18, 2020 @10:31AM
(#24517235)
Intel (and presumably others) use formal methods to verify their hardware designs, or at least large portions of them. This started in earnest after the FDIV bug. Here's a presentation on the topic (dated now, but my understanding is the use of formal methods has only increased since then).
https://www.cl.cam.ac.uk/~jrh13/slides/nijmegen-21jun02/slid...
Re:How Did Software Get So Reliable Without Proof? (1996) [pdf]
by doonesbury on Friday September 18, 2020 @11:01AM
(#24517616)
Software ... the part that software developers write ... is created to run on a strong foundation of CPU, GPU, NICs, RAM, PCI buses, SSD and so on (which the EE, ChemE, Chem, math, physics people make). That makes our stuff better than if it was software all the way down. HW is formally verified.