Code Verification by the Method of Manufactured Solutions

doi 10.2172/759450
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Office of Scientific and Technical Information (OSTI)

Related search

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

2011English

Obligatory Will in the Civil Code of Afghanistan: Analysis, Sharia Verification, and Case Solutions

Addaiyan Journal of Arts, Humanities and Social Sciences
2020English

Modular Verification of Security Protocol Code by Typing

ACM SIGPLAN Notices
Computer Science
2010English

Verification of Source Code Transformations by Program Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

High Hardness of Conductive Micro Fastener Manufactured by Micromolding Method

Transactions of the Materials Research Society of Japan
2013English

The Equation of Meshing of Spiral Bevel Gears Manufactured by Generating-Line Method

The Open Mechanical Engineering Journal
2011English

Consistent Metrics for Code Verification

2002English

Code-To-Code Verification for Thermal Models of Melting and Solidification in a Metal Alloy: Comparisons Between a Finite Volume Method and a Finite Element Method

Mechanical Sciences
ControlSystems EngineeringIndustrialMechanical EngineeringCivilFluid FlowStructural EngineeringManufacturing EngineeringMechanics of MaterialsTransfer Processes
2020English

An Investigation on UHMWPE-HAp Composites Manufactured by Solution-Gelation Method

Sakarya University Journal of Science
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy