Advanced Software Analysis and Verification

Keywords advanced software analysis and verification software analysis
Standards groups

IL has many of the characteristics of structured programming languages in common use, and is easily learnt by any moderately experienced software engineer.

MMAALLPPAASS analyses each procedure individually. This allows the analysis process to be broken down into separate procedures, just as programs are. The analysis is amenable to team working, since the analysis of procedures can be performed in parallel. Although there is no predefined order in which analysis must be done, it is often convenient to proceed bottom-up, such that the analysis starts with those procedures that call no others, and continues with those procedures that only call analysed procedures. Using this approach, a complete picture of the behaviour of a program can be built up.

Date published
Defines standard
Replaced/Superseded by document(s)
Cancelled by
Amended by
File MIME type Size (KB) Language Download
MALPAS example analysis.pdf application/pdf   162.6 KB English DOWNLOAD!
File attachments
Cover images

The following example is more instructive than a theoretical description of each of the analysis techniques. The example is a short program that implements a simplified reactor global trip function.

Visit also