DevZen Podcast

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

April 4, 2021

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

Podparadise.com neither hosts nor alters podcast files. All content © its respective owners.