MALPAS can be applied to all sequential programming languages and provides automatic translation from programs written in widely-used languages (e.g. C, Ada and various Assembler languages). The analyst can also perform a manual translation from the small programs written in obscure languages into the intermediate language used by MALPAS.

MALPAS does not require that the program code be developed in a particular manner, or even that it conforms to a particular subset of the program language. It is, therefore, applicable to Commercial Off The Shelf (COTS) code and legacy code (as long as the source code is made available).

MALPAS analysis is exhaustive – it analyses all paths through the program and provides proof of correctness for all possible inputs.

The depth and range of MALPAS analysis can be tailored to meet your particular assessment and verification criteria.

MALPAS does not require the production of expensive test rigs or the collection of test datasets. Any individual module of code can be analysed as soon as it is completed, with the result that any quality problems will be uncovered early in the lifecycle.