ник: patq
Когда то и постройка мостов/соборов являлось искуством, потом нашли закономерности -теперь это инженерная работа.
Так и здесь - любую программу пишут люди, использую законы логики. А их мы привыкли нарушать, как результат "неадекватное поведение программ"/"глюки"
Программа помощник прогрмаммиста и должна проверять написанное на правильность законов логики.