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

А я вот тоже лет 15 занимаюсь тем, что пытаюсь применить формальные методы в обычной программерской работе, тоже в свободное время и совсем не за деньги. При этом заранее было понятно, что это как минимум непрактично, если вообще реально :). Хотя на данный момент это уже становится спорным вопросом. И в целом, конечно цель состоит в том, чтобы сделать новую методику создания софта. При этом, хотя на локальном уровне она и непрактична, на уровне глобуса она будет весьма эффективна (рано или поздно :)).