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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal methods in software engineering


    Additional title:

    Formale Methoden im Software Engineering


    Contributors:
    Hird, G.R. (author)


    Publication date :

    1990


    Size :

    5 Seiten, 9 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formal methods for life-critical software

    Butler, Ricky / Johnson, Sally | AIAA | 1993


    Formal Methods for Life-Critical Software

    Butler, Ricky W. / Johnson, Sally C. | NTRS | 1993



    Formal methods applied to in-vehicle software

    Edwards,P.D. / Univ.of Warwick,GB | Automotive engineering | 1991


    An Air Force Organization Process Model Using Formal Software Engineering Techniques

    Hibdon, V. S. / Hartrum, T. C. / IEEE; Dayton Section et al. | British Library Conference Proceedings | 1996