Low-Ada

An intermediate language for Ada, intended for formal verification. Just a concept, not yet fully defined or implemented.

"Low-Ada: an Ada Validation Tool", B. A. Wichmann, Ada User 11(1): pp.27-32.