Various training courses in the technique of Static
Code Analysis and the use of MALPAS are
available through Atkins. Courses can be held at
Atkins offices or at a customer’s premises, and can
be tailored to suit the level of management and
technical detail required.
MALPAS is fully supported by Atkins under an
annual support agreement – this includes regular
product upgrades, and help with technical queries.
For further information and advice on MALPAS, to
arrange demonstrations and presentations of the
tool, or for any other queries, please contact the
MALPAS Product Manager.
MALPAS is compatible with
Defines standard
Replaced/Superseded by document(s)
Cancelled by
Amended by
| File | MIME type | Size (KB) | Language | Download | |
|---|---|---|---|---|---|
| MALPAS handout.pdf | application/pdf | 23.64 KB | English | DOWNLOAD! |
Provides definitions
Cover images
Introduction
MALPAS offers one of the most rigorous, advanced software analysis and verification
toolsets on the market today. Using Static Analysis techniques, which test code without
executing it, a full analysis of program correctness, including problems that only occur at
run-time, compliance with the software specification and functional integrity, can be
performed.