In addition, the status of individuals can be checked using the validate personnel function.

Finally, some requirements can be checked using static assertions.

In turn, chordality can be checked using a max-cardinality ordering of the variables.

At any point in time, the two triangles can be checked for intersection using the twenty planes previously mentioned.

Another way of looking at division by zero, is that division can always be checked using multiplication.

Most of the guidelines can be checked using tools that perform static code analysis.

The rules that have a straightforward mapping to source code can be checked using a compiler.

Although the computations need many iterations, all the end results can be checked by hand using the equations presented in the manual.

Again answers can be checked using reverse operations.

Compliance under load can have an important effect and must be checked using a multibody simulation software.