4 ms·
How about the safe code in avionics/nuclear sites, ADA/Spark, Misra C? Not magic or as safe-proof as a physical engineering where it's far easier to guess how a
by anthk 3y ago
How about the safe code in avionics/nuclear sites, ADA/Spark, Misra C? Not magic or as safe-proof as a physical engineering where it's far easier to guess how a system will behave, OFC, but it's a good start.
- graemep 3y agoYes, it gets done when necessary which shows we can do it. It does not get done everywhere because it is not a high enough priority.