For more information about MALPAS, please refer to these downloads:

MALPAS handout – a one page summary of MALPAS

MALPAS introductory guide – a more substantial (12 page) introduction to MALPAS

Example of MALPAS analysis – a worked example of code verification as applied in the civil nuclear industry


MALPAS uses a unique and universal analytical process with analysers for control flow, data use, information flow, semantics and compliance.



Atkins provides a range of services for MALPAS, including licenses, training and full programme analysis. >View