DocumentCode
3142144
Title
Advantages and limits of formal approaches for ultra-high dependability
Author
Gaudel, M.-C.
Author_Institution
LRI, CNRS, Univ. de Paris-Sud, Orsay, France
fYear
1991
fDate
25-26 Oct 1991
Firstpage
237
Lastpage
241
Abstract
The paper discusses the advantages and limits of formal approaches to software development for achieving ultra-high dependability of critical computer systems. Among the issues addressed are: what is a formal specification? What can be done with it? What is correctness? What kind of certainty comes from a proof? And from testing? The paper does not claim to answer these questions: rather it is a formulation of the author´s reflections and perplexities in this area
Keywords
formal specification; program verification; software reliability; correctness; critical computer systems; formal specification; software development; ultra-high dependability; Aerospace control; Availability; Calculus; Formal specifications; Programming; Reflection; Safety; Security; Terminology; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location
Como
Print_ISBN
0-8186-2320-9
Type
conf
DOI
10.1109/IWSSD.1991.213054
Filename
213054
Link To Document