3 ms·
Therac-25 is also on the front page right now. I like to reread the reports about that every few years, especially the human effects. Maybe we need formally-ver
by emchammer 1y ago
Therac-25 is also on the front page right now. I like to reread the reports about that every few years, especially the human effects. Maybe we need formally-verified methods to be more accessible.
- datameta 1y agoTherac-25 is the poster child for this kind of failure mode. Formal verification and behavioral equivalences would be invaluable, I think, but I can't pretend I understand much about the underlying math of the former.