Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Мечтаете, чтобы ваше ПО было сверх надежным, но грустите, ведь даже самый большой набор тестов не гарантирует 100% работоспособность кода на всех кейсах? На помощь придут верификация ПО с помощью формальных методов! Опишем спецификацию на программу с помощью математических языков и докажем какие-нибудь ее свойства. Не обещаем, что будет просто, но точно будет интересно! Вместе с профессором Национального Университета Сингапура Ильей Сергеем разобрали верификацию не только на простых задачах, но и в проектах огромной кодовой базой и распределенными вычислениями. Обсудили истории успеха из реальных проектов, основные сложности этого подхода и направления активных исследований применения формальных методов в разработке ПО. Оставляйте заявку и бесплатно переносите проекты на гибкую и мощную инфраструктуру Selectel: Поддержи лучший подкаст про IT: / podlodka Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! Telegram-чат: Telegram-канал: Страница в Facebook: / podlodkacast Twitter-аккаунт: / podlodkapodcast Ведущие в выпуске: Катя Петрова, Стас Цыганов Полезные ссылки: Введение в верификацию в Coq Комплятор C верифицированный в Coq Книжка Лампорта по спецификации сисатем Facebook Infer, анализ построенный на логике Как в Амазоне используют формальные методы • SOSP 2021: Using Lightweight Formal Method... Model Checker для Rust Сайт Ильи Twitter Ильи / ilyasergey
