Abstract / Description of output
We survey mathematical modeling, the mathematical and computational technologies upon which it relies, and the potential sources of error. We assess formal methods and computational logic in this light,
suggesting that certain well worn paths may have little to offer. We identify as opportunities for the future: analyzing requirements, assumptions and proof obligations for the assessment and confirmation of models, extending such techniques to architectures for heterogeneous distributed models with legacy components, using computational logic to extend the capabilities of computer algebra systems, and techniques for
symbolic analysis.
suggesting that certain well worn paths may have little to offer. We identify as opportunities for the future: analyzing requirements, assumptions and proof obligations for the assessment and confirmation of models, extending such techniques to architectures for heterogeneous distributed models with legacy components, using computational logic to extend the capabilities of computer algebra systems, and techniques for
symbolic analysis.
| Original language | English |
|---|---|
| Title of host publication | Proceedings 5th NASA Langley Workshop on Formal Methods |
| Pages | 59-10 |
| Number of pages | 12 |
| Publication status | Published - Jun 2000 |