3 ms·

Correction, Ada is a language specifically for writing correct code. Correct is only a subset of secure.