by Jean-Pierre Rosen
At: FOSDEM 2019
[ Ссылка ]
We are (too much) used to software having bugs as an unavoidable fate. But for safety-critical software, like the code that's driving planes or trains, "Failure is Not an Option". This presentation exposes the constraints of such software, and how they require a special state of mind, special methods, and special tools - like Ada and SPARK. And these can be useful for more casual programming - zero bug software is nice, even when not safety-critical!
Room: AW1.125
Scheduled start: 2019-02-02 15:30:00+01
