3 ms·
It's also worth noting that in places where reliability is worth the massive decrease in productivity (e.g. robots on mars, avionics, etc.) tools like formal ve
by nvoorhies 17y ago
It's also worth noting that in places where reliability is worth the massive decrease in productivity (e.g. robots on mars, avionics, etc.) tools like formal verification and multiple implementations for verification of behavior are used.
- billswift 17y agoThose are situations where scientists hire professionals to do the programming, so that supports joe_the_users's point.