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

Ежели немного упростить, то грубо говоря, в течении 10 лет за применение формальных методов начнут платить бабки на регулярной основе. Ну и общественность по этому поводу резко перестанет считать тех кто занимается формальными методами маргиналами. Как это было со статистиками, которые были типа маргинальны, но ща они типа кульные датасайентисты и все такое :). Хотя тут может не будет такого хайпа как с ML/DS, но не суть важно. Я лично вижу такое направление развитие и собираюсь в следующем году к нему присоединиться (в этом уже вряд ли получится :)). Как было сказано в немецкой рекламе Sun'а: Sie haben die Vision und wir die Tools. Wofuer warten wir? Проекты где треба формальные методы имеются, инструменты тоже. Пора уже применять, я считаю.