Practical formal validation method for interlocking systems

Today, the main issue is to answer the following question: have we finally recognized that when it comes to software, the delivery of absolute numerical safety targets is considered to be impossible, and the methods contained in the CENELEC standard produce a "probability" that certain unsafe failure rates will be...