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

doi 10.2514/6.2011-615
Full Text
Abstract

Available in full text

Date
Authors
Publisher

American Institute of Aeronautics and Astronautics

Related search

Code Verification by the Method of Manufactured Solutions

2000English

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

Mathematical Problems in Engineering
MathematicsEngineering
2019English

On Verification of Software Components

International Journal of Software Engineering & Applications
2012English

Modular Verification of Collaboration-Based Software Designs

ACM SIGSOFT Software Engineering Notes
2001English

On Quantitative Software Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Runtime Verification of Component-Based Embedded Software

2011English

Component-Based Hardware/Software Co-Verification

English

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

Electronics (Switzerland)
ControlElectronic EngineeringSignal ProcessingComputer NetworksSystems EngineeringHardwareCommunicationsElectricalArchitecture
2020English

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

1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy