Run-time checking

Runtime checking is a mechanism of an programming language to check for errors at runtime, e.g. arithmetic overflows or invalid type casts. Most times an exception is thrown and/or the programm is terminated. Instead of ignoring this failure as it is done in C, C++ etc.

Ada uses runtime checking.