This chapter defines the basic tests used to provide evidence that the implementation of some of the procedure options in the Abaqus procedures library produces the expected results. Some of these tests also verify the capability to extract output from the restart (.res) file and to write new results to output files using a postprocessing analysis procedure—see the problem descriptions for details.