PD IEC/TS 61508-3-2
Functional safety of electrical/electronic/programmable electronic safety-related systems. Requirements and guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation