Без заголовка

Логика присутствует, но она тут теоретически бессильна: из того, что все составляющие бинарного газа безопасны вовсе не значит, что сам бинарный газ как система будет безопасен. Вообще-то логика - это единственный, точнее неизбежный вариант :). Ибо тестировании не способно гарантировать качество, нужна автоматизация - а она опирается на логики. Ну а поскольку сейчас практически любая система опирается на софт - то мимо логик не пройти. Да, пока это дорого, но эта дороговизна относительна, вручную тот же уровень качества достигается с гораздо более существенными затратами.