Verification and Validation in CREATE Multiphysics HPC Software Applications.
Richard P. KendallLawrence G. VottaDouglass E. PostE. Thomas MoyerScott A. MortonPublished in: Comput. Sci. Eng. (2017)
Keyphrases
- software development
- software systems
- model checking
- signature verification
- software evolution
- automatically generate
- user interface
- high performance computing
- software testing
- software maintenance
- hardware designs
- software platform
- formal methods
- software design
- software tools
- fault tolerance
- load balancing
- software engineering