The application of formal methods to the assessment of high integrity software | IEEE Journals & Magazine | IEEE Xplore

The application of formal methods to the assessment of high integrity software


Abstract:

A case study is presented in which the Vienna development method (VDM), a formal specification and development methodology, was used during the analysis phase of the asse...Show More

Abstract:

A case study is presented in which the Vienna development method (VDM), a formal specification and development methodology, was used during the analysis phase of the assessment of a prototype nuclear reactor protection system. The VDM specification was also translated into the logic language Prolog to animate the specification and to provide a diverse implementation for use in back-to-back testing. It is claimed that this technique provides a visible and effective method of analysis which is superior to the informal alternatives.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-12, Issue: 9, September 1986)
Page(s): 988 - 993
Date of Publication: 26 September 2012

ISSN Information:


Contact IEEE to Subscribe