Исходное сообщение
"Выполнение rm -rf / может привести к неработоспособности UEF..." Отправлено Michael Shigorin, 01-Фев-16 20:19
> Что за странная логика? Если сделано как в стандарте Видимо, подразумевали "не как в стандарте"? > и на это указали - то это спрыгнуть с ответственности, совсем уже? Невозможно написать стандарт, учитывающий все случаи для сколь-нибудь сложной системы.  Если кто не хочет знакомиться с понятием комбинаторного взрыва (или вообще комбинаторикой) -- ну можно почитать про доказательство программ для наиболее ответственных применений. При этом одни спрыгивают с ответственности, не вникая в нюансы; другие -- экономя на тестировании (как вот в #113 было разъяснено); третьи -- пытаясь отмахнуться теорией от практики.