Evaluation of safety-critical software
Communications of the ACM
Formal verification of safety-critical systems
Software—Practice & Experience
Programming from specifications
Programming from specifications
Position statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods
ICSE '90 Proceedings of the 12th international conference on Software engineering
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
Formalizing Informal Reuqirments. Some Aspects
Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]
Formal Specifications as Reusable Frameworks
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Formal Verification of a Fault Tolerant Clock Synchronization Algorithm
Formal Verification of a Fault Tolerant Clock Synchronization Algorithm
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
| Hi-index | 0.00 |
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.