ADVANCED SOFTWARE ANALYSIS AND VERIFICATION TOOLSET

Keywords advanced software analysis analysis and verification software analysis verification toolset
Standards groups

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

Metadata
Date published
UNKNOWN
Language
English
Document type
Software Analysis
Pages
1
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!
File attachments
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.

Visit also