Formal methods and finite element analysis of hurricane storm surge: A case study in software verification.
John W. Baugh Jr.Alper AltuntasPublished in: Sci. Comput. Program. (2018)
Keyphrases
- formal methods
- finite element analysis
- finite element
- computer aided design
- using artificial neural networks
- formal analysis
- material properties
- finite element model
- formal specification
- model checking
- friction coefficient
- safety critical
- knowledge based systems
- case study
- artificial intelligence
- software engineering
- process algebra
- source code
- open source
- formal specification language
- modeling language
- knowledge acquisition
- object oriented
- data model
- stress distribution