| ▲ | waldrews 2 hours ago | |
Soon enough, it'll be 'Could we not entrust our safety critical systems to those emotional error prone humans? Pretty Please?' | ||
| ▲ | bayindirh an hour ago | parent | next [-] | |
As far as I know, critical systems like reactor control software is mathematically proven first and verified after implementation. I don’t think you can go beyond that. | ||
| ▲ | sdeframond an hour ago | parent | prev [-] | |
I feel that we have to mention Stanislav Petrov now. | ||