Welcome to our new site version. Your web page bookmarks may have changed, please search for pages by title to update them. Having problems ? Please try clearing your web browser cache and hard-reloading your web page first before contacting our webmaster.

Advanced Software Analysis and Verification

[document] Submitted on 2 March, 2019 - 19:38
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.

Metadata
Date published
2008
Language of Attachment(s)
English
Pages
19
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
Introduction

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