Ada
Formally defined Subset
AVA (1535)
Verifiable Ada