This chapter defines the basic tests used to verify some of the options in the ABAQUS procedures library and documents the results of the tests. Some of these tests also verify the *POST OUTPUT postprocessing capability—see the problem descriptions for details.