Q02.10. When a formal analysis algorithms missed significant shortcomings.
The opposite case to the previous - when a formal analysis was conducted algorithm or program, there were no errors found, and then it turned out that formal analysis missed something significant.
Q02.10. Коли формальний аналіз алгоритмів пропустив суттєві недоліки.
Зворотній випадок до попереднього – коли було проведено формальний аналіз алгоритму чи програми, помилки не були знайдені, а потім виявилось, що формальний аналіз щось суттєве пропустив.
Q02.10. When a formal analysis algorithms missed significant shortcomings.
The opposite case to the previous - when a formal analysis was conducted algorithm or program, there were no errors found, and then it turned out that formal analysis missed something significant.
Q02.10. Коли формальний аналіз алгоритмів пропустив суттєві недоліки. Зворотній випадок до попереднього – коли було проведено формальний аналіз алгоритму чи програми, помилки не були знайдені, а потім виявилось, що формальний аналіз щось суттєве пропустив.