3 ms·
The Therac-25 tragedy was not a memory-management issue. If its had been written in Rust the state machine error would still have cooked a lot of people.
by bregma 5y ago
The Therac-25 tragedy was not a memory-management issue. If its had been written in Rust the state machine error would still have cooked a lot of people.
- mratsim 5y agoIndeed, if we wanted to prevent it we would use ADA/Spark or a language with formal verification support say Frama-C.