Title :
Tool support for software proof
Author :
O´Neill, Ian M. ; Clutterbuck, Denton L.
Author_Institution :
Program Validation Ltd., Southampton, UK
Abstract :
With software increasingly being employed in safety-critical applications, there is much speculation on the nature of procedures and tools for achieving software quality. The authors explore the use of the SPADE toolset, including the SPADE Proof Checker, together with appropriate procedures for achieving a high degree of confidence in the correctness of a piece of software with respect to a specification
Keywords :
program verification; quality control; software packages; software reliability; software tools; SPADE Proof Checker; SPADE toolset; correctness; safety-critical applications; software proof; software quality; specification; tool support;
Conference_Titel :
Application of Computer Aided Software Engineering Tools, IEE Colloquium on
Conference_Location :
London
