![Создан безошибочный код из 7500 строк Создан безошибочный код из 7500 строк](/system/attached_images/images/000/074/434/large_post_thumb/142456.jpg)
Более пяти лет понадобилось австралийским исследователям для проверки ядра операционной системы, код которого содержит 7500 строк. При этом с математической точностью им удалось доказать, что код абсолютно не содержит ошибок.
"По приблизительной оценке качественно разработанное программное обеспечение имеет около 10 ошибок на тысячу строк кода,...