1. A method for generating a user program for a safety controller which is designed to control an automated installation having a plurality of sensors and a plurality of actuators, the method comprising the steps of: generating a source code for a user program, said source code comprising a number of control instructions for controlling the actuators and a number of diagnosis instructions for producing diagnosis reports, wherein safety-related program variables are processed in failsafe fashion during execution of the control instructions, generating a machine code on the basis of the source code, and determining at least one checksum for at least some of the machine code, wherein the diagnosis instructions are ignored for the determination of the checksum.