The use of software engineering tools based on formal methods requires an investment not required by traditional methods, but results in more reliable software systems. Assumptions about system behavior are made explicit, and high-level specifications provide unambiguous descriptions of component properties. A formal basis enables automated proofs of correctness. We discuss how formal methods can be applied at various stages of software development, and to selected critical aspects of software systems. We describe a number of formal methods tools developed at ORA, and applications illustrating their use.
Formal methods in software engineering
Formale Methoden im Software Engineering
1990
5 Seiten, 9 Quellen
Aufsatz (Konferenz)
Englisch
Formal Methods for Life-Critical Software
NTRS | 1993
|Formal methods for life-critical software
AIAA | 1993
|Formal methods applied to in-vehicle software
Kraftfahrwesen | 1991
|An Air Force Organization Process Model Using Formal Software Engineering Techniques
British Library Conference Proceedings | 1996
|