How do I find out about the different execution procedures that are available with ABAQUS?

Type abaqus help and this will list all the abaqus execution procedures. These are listed below : 

 Execution Procedure for ABAQUS/Standard and ABAQUS/Explicit
 
 abaqus job=job-name  [ analysis | datacheck | continue | help | recover |
                        convert={restart|select|all} | 
                        information={environment|local|memory|release|status} ]
                      [ input=input-file    ]  [ user=source-file ]
                      [ oldjob=oldjob-name  ]  [ fil={append|new} ]
                      [ globalmodel=results file-name ] [ double ]
                      [ memory=memory-size  ]  [ buffer=buffer-size ] 
                      [ interactive | background | queue=queue-name ]
                      [ cpus=number-of-cpus ] [scratch=scratch-dir]
                      [ subcomplex=subcomplex-name]

 Note: subcomplex is only valid on the Convex Exemplar 
 
 Execution Procedure for ABAQUS/Abares
 
 abaqus abares job=job-name [ restart=restart-name ]
                            [ beginstep=step-number ] [ endstep=step-number ]
                            [ increment={all|endstep|final|none|integer-list} ]


 Execution Procedure for ASCII translation of results (.fil) files
 
 abaqus ascfil job=job-name [ input=input-file ]



 Execution Procedure for on-line documentation 
 
 abaqus doc


 Execution Procedure for ABAQUS/Append

 abaqus append job=job-name oldjob=oldjob-name input=input-file


 Execution Procedure for ABAQUS/Fetch

 abaqus fetch job=job-name [ input=input-file ]


 Execution Procedure for ABAQUS/Findkeyword

 abaqus findkeyword [ job=job-name ] [ maximum=maximum-matches ]


 Execution Procedure for ABAQUS/Make

 abaqus make job=job-name [ user={source-file|object-file} ]

 Execution procedure for suspending or resuming analysis jobs

 abaqus [ suspend | resume ] job=job-name


Execution procedure for fixed format translator

 abaqus free job=job-name input=input-file


 Execution Procedure for input file upgrade utility
 
 abaqus upgrade job=new-input-file input=old-input-file


 Execution Procedure for output database file upgrade utility
 
 abaqus upgrade job=new-output-database-file odb=old-output-database-file

 Execution Procedure for the movie player utility

 abaqus movieplayer [ movie=animation-file ]


 Execution Procedure for ABAQUS Verification

 abaqus verify [ -all | -std | -user_std | -exp | -user_exp 
                 -cae | -viewer | -design | -make | -param 
                 -scripting | -adams | -cmold | -moldflow 
                 -catia | -ideas | -parasolid | -proe 
                 -log ]