That’s right, history of engineering tells us that “provably safe” and “provably secure” systems fail in unanticipated ways.
That’s right, history of engineering tells us that “provably safe” and “provably secure” systems fail in unanticipated ways.