4 ms·

Any formal system worth its salt is going to model overflow.

• Jtsummers 3y ago
  And with SPARK/Ada it will. When I was learning it that was actually a very common thing that it caught in my code (various forms of over/underflow errors). In practice most of them would not occur, but a few could have under real-world use-cases.