# Code Verification

## Introduction

Code or Software verification is the process undertaken by software vendors and users to check the robustness of both the FE formulation and the implementation of the formulation in code. The process involves using the software to model a Benchmark Problem which has a known theoretical solution or a numerical solution with sound provenance.

Vendors of commercial FE systems generally prohibit the publication of performance studies such as those involving code verification. Since code verification studies are based on a particular code for the study to be of practical value the reader should be able to identify the code - different codes run through the same code verification problem might and often do lead to different results. To deal with this issue, the commercial systems (CS) will be simple as CS1, CS2, etc.

Code Verification for

2D Continuum, linear-elastic with plane stress constitutive model

Exact solution: Closed-form polynomial with quadratic displacement field (linear stress field with uniform body force field)

### Verification of a Euler-Beam element in LISA V8.0.0

This software verification study verifies that the beam element in LISA V8.0.0, which is based on Euler-Bernoulli theory, is capable of converging, with mesh refinement, to the theoretical solution for the fundamental frequency when considering a cantilever beam configuration.

### Code Verification for SOCP in the SCS Software

This technical note presents some basic code verification studies undertaken to demonstrate the Splitting Cone Solver (SCS) software, and the FORTRAN interface written for this software. The SCS software solves mathematical programmes with a range of cone forms. In particular, the second-order cone form is of interest to engineers assessing structural strength for materials where the yield criterion is quadratic and may be mapped into a Lorentz cone.