dz330

В этом выпуске: мы, не успев погрустить о том, что новый интересный спонсор не смог случиться, совершим глубокое погружение в мир формальных методов верификации. Какие подходы считать формальными методами? Кто это применяет и где? Как начать верифицировать свой софт и на что это похоже? Где искать свойства для проверки? Как читать и рефакторить формальные спецификации?
На закуску мы традиционно побурчим на SaaS’ы и починим валерин HDMI.

Лог чата: https://t.me/devzen_live/1191

Голоса выпуска: Света, Валера, Ваня, Саша, а также гости Антон и Василий.

Фоновая музыка: Plastic3 — Corporate Rock Motivation Loop 4

КДПВ отсюда.

Обращаем ваше внимание на то, что в комментариях действуют правила форума.