Advantages and limits of formal approaches for ultra-high dependability
Marie-Claude Gaudel · International Workshop on Software Specification and Design · 1991
This position paper discusses the advantages and limits of formal approaches to software development for achieving ultra-high dependability of critical computer systems. Among the issues to be addressed here, 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.