Null references are one of the biggest causes of issues for software everywhere. If it was so easy as just don't do nulls, everyone would be doing it by now. If your application sees some unexpected data, null or otherwise, if it is not handled, it can crash. The real cause is unhandled code paths in the application and that is not always trivial to solve.
Formal verification is a relatively unexplored idea in the industry, but it's something that seems to be used to verify protocols or algorithms rather than implementation code. If anyone is using formal verification in their systems, I would love to hear some experiences.
Formal verification is a relatively unexplored idea in the industry, but it's something that seems to be used to verify protocols or algorithms rather than implementation code. If anyone is using formal verification in their systems, I would love to hear some experiences.