Формальный ко-ко-кок — Episode 0330

2:21:43
 
Поделиться
 

Manage episode 289119612 series 2105533
Сделано DevZen Podcast и найдено благодаря Player FM и нашему сообществу. Авторские права принадлежат издателю, а не Player FM, и аудиоматериалы транслируются прямо с его сервера. Нажмите на кнопку Подписаться, чтобы следить за обновлениями через Player FM или скопируйте и вставьте ссылку на канал в другое приложение для подкастов.

dz330

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

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

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

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

КДПВ отсюда.

197 эпизодов