
Более пяти лет понадобилось австралийским исследователям для проверки ядра операционной системы, код которого содержит 7500 строк. При этом с математической точностью им удалось доказать, что код абсолютно не содержит ошибок.
"По приблизительной оценке качественно разработанное программное обеспечение имеет около 10 ошибок на тысячу строк кода,...