What specific features does Ada have that makes it reliable?
Ada has language-defined static and runtime checks for many unsafe conditions, such as integer overflow, dereferencing invalid pointers, bad array indexes (fencepost issue), etc. It also is a highly typed language and the implementation tries to make the programmer ensure that data are relevant to the operation before an operation is performed. Furthermore, Ada comes with a very high-level multiprogramming paradigm and allows simpler specification of intricate conditions than other languages allow.
