DocumentCode
281535
Title
Tool support for software proof
Author
O´Neill, Ian M. ; Clutterbuck, Denton L.
Author_Institution
Program Validation Ltd., Southampton, UK
fYear
1989
fDate
32556
Firstpage
42583
Lastpage
42586
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;
fLanguage
English
Publisher
iet
Conference_Titel
Application of Computer Aided Software Engineering Tools, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
197873
Link To Document