MALPAS

TA Consultancy Services

A strongly typed, block-structured intermediate language intended for static analysis and verification. Translators exist for Ada, C, Pascal, FORTRAN 77, CORAL 66 and several assembly languages.

"Code Verification with the Aid of MALPAS", N. J. Ward, Proceedings of the IEE Colloquium on High Integrity Ada (Jan 1993).