Ignore:
Timestamp:
Feb 20, 2014, 1:01:15 PM (6 years ago)
Author:
mulligan
Message:

a little more

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/fopara13.tex

    r3453 r3454  
    181181
    182182\section{Project context and approach}
    183 Formal methods for the verification of functional properties of programs are now sufficiently mature to find increasing application in production environments. For safety critical code, it is
    184 becoming commonplace to combine rigorous software engineering methodologies and testing
    185 with static analysis, taking the strong points of each approach and mitigating
     183Formal methods for the verification of functional properties of programs are now sufficiently mature to find increasing application in production environments. For safety critical code, it is commonplace to combine rigorous engineering methodologies and testing
     184with static analyses, taking the strengths of each and mitigating
    186185their weaknesses. Of particular interest are open frameworks
    187186for the combination of different formal methods, where the programs can be
    188 progressively specified and are continuously enriched with new safety
     187progressively specified and enriched with new safety
    189188guarantees: every method contributes knowledge (e.g. new invariants) that
    190189becomes an assumption for later analysis.
Note: See TracChangeset for help on using the changeset viewer.