Towards formal methods for mathematical modeling

Ursula Martin

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationProceedings 5th NASA Langley Workshop on Formal Methods
Number of pages12
Publication statusPublished - Jun 2000

Fingerprint Dive into the research topics of 'Towards formal methods for mathematical modeling'. Together they form a unique fingerprint.

Cite this