3 ms·
An aircraft is a life critical system. For such systems 'formal verification' (verify 100% quality / correctness) is the metric, not 'lack of failure'.
by mjevans 3y ago
An aircraft is a life critical system. For such systems 'formal verification' (verify 100% quality / correctness) is the metric, not 'lack of failure'.