SIL verification with SILver™, FSE 244, explains how the exSILentia SILver™ module is used to perform a SIL verification for Safety Instrumented Functions. Students will learn to leverage the tool to model different SIF architectures ranging from simple 1oo1 configuration to more complex examples. This course also covers review of the key parameters that determine the probability of failure of a SIF as well as minimum hardware fault tolerance and systematic capability aspects. It will show the impact of these parameters on the detailed design, implementation, and operation of the SIF. Furthermore, students will learn how to transfer data from the SILver™ module to the Design SRS module and subsequently complete the Design SRS requirements. Finally, the course covers the impact of proof testing and specification of proof test procedures using the Proof Test Generator module.