Информатика не знает, как создавать сложные системы, которые работают надежно. Это было хорошо понятой проблемой с самого начала программируемых компьютеров.