Coding standards provide a preferred subset of even a safe programming language like Ada. This video shows the automated application of an Ada coding standard, and its relationship with other verification and validation techniques including the static analysis, structural coverage, and unit test techniques demanded by DO-178C and other functional safety standards.