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

Увы, моей квалификации не хватает, чтобы правильно понять написанное :) Но мы сегодня таки начали работать с одним профессиональным логиком, может он нам поможет разобраться. Пока речь идет больше об обзоре теории обоснований (аргументации): все эти "модели целей", "assurance case" и прочие инженерные обоснования достижения какими-то предлагаемыми/имеющимися средствами каких-то предлагаемых/имеющихся целей. Просто это нужно очень срочно. А вы предлагаете обосновывать не столько достижение целей, сколько корректность модели -- тоже хорошо и понятно, но пока руки не доходят. Но потом -- поглядим, и до обоснования моделей/программ обязательно доберемся.