Mark Dain
Code that can be proven to be correct (and thus bug free). Until this happens I don't want to go in a self driving car and I'd like to avoid IoT if possible
Mark Dain
Yeah this seems more like it. Wikipedia says there's a greater need in hardware but I think software is fast approaching the same level of care needed
Mark Dain
No. Unit tests just show for x input we always get y output. What happens when unexpected z input is given? I'm thinking of code that, for instance, can be proven to never crash, overflow or behave in an unpredictable way.