Run-time checking

"Runtime checking" is a mechanism of an programming language the check for errors at runtime, e.g. arithmetic overflows, invalid 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.