([NO]PROCEDURE, [NO]IMAGE)

    Specifies one or both types of verification. Procedure
    verification causes each DCL command line in a command procedure
    to be written to the output device. Image verification causes
    data lines (input data that is included as part of the SYS$INPUT
    input stream) to be written to the output device.

    By default, both types of verification are set or cleared with
    SET VERIFY and SET NOVERIFY. If you specify only one keyword, the
    other is not affected. If you specify only one keyword, omit the
    parentheses.