3 ms·
hopefully in a future not so far away, most safety-critical code will be formally verified, like http://sel4.systems/ http://sel4.systems/ for example
by yeslibertarian 10y ago
hopefully in a future not so far away, most safety-critical code will be formally verified, like http://sel4.systems/ http://sel4.systems/ for example
- kevinr 10y agoCode like the Boeing 787's avionics package gets one better: the spec specifies what the register values should be after each step of execution, and there's a company which takes the code, puts the processor in single-step mode, and checks.