A Scientific Software Verification Library Based on the Method of Manufactured Solutions

doi 10.2514/6.2011-615

Full Text

Abstract

Available in

Date

January 4, 2011

Authors

Publisher

American Institute of Aeronautics and Astronautics

Related search

Code Verification by the Method of Manufactured Solutions

English

Richardson Extrapolation-Based Verification Method of Scientific Calculation Program Without the Oracles: A Case Study

Mathematical Problems in Engineering

English

On Verification of Software Components

International Journal of Software Engineering & Applications

English

On Quantitative Software Verification

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

Italian

Runtime Verification of Component-Based Embedded Software

English

Modular Verification of Collaboration-Based Software Designs

ACM SIGSOFT Software Engineering Notes

English

Component-Based Hardware/Software Co-Verification

English

Formal Analysis and Verification of Airborne Software Based on DO-333

Electronics (Switzerland)

Electronic Engineering

Signal Processing

Computer Networks

Systems Engineering

English

Certainty in Stockpile Computing: Recommending a Verification and Validation Program for Scientific Software

English