Исходное сообщение
"Например:" Отправлено Crazy Alex, 05-Апр-16 19:03
Всё это красивая болтовня. А в реальных высоконадёжных системах полагаются на дублирование компонент, работающих на разных принципах, и на проектирование, при октором в случае отказа чего-либо остальныевы элементы выходят в более-менее безопасное состояние. А математические доказательства корректности, во-первых, проходят только для крайне простого кода, а во-вторых держатся на предположении о корректности специфиакации.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: