The Laboratory must verify the code through a static test in order to verify all the design principles that shall be applied according to IEC 60880:2006, section 8.2.3, and IEC 61508-3, section 7.9.2.12