Podlodka #268 – Формальные методы и верификация программ

Слушать онлайн
Podlodka #268 – Формальные методы и верификация программ
подкаст
Подкаст: Podlodka Podcast
Жанр: программирование информационные технологии (IT) разработка программного обеспечения технология разработки разработка мобильных приложений
Язык: Русский
Возрастное ограничение: 12
Длительность: 93 минуты 1 секунда
Последнее обновление:
Добавлен:
Мечтаете, чтобы ваше ПО было сверх надежным, но грустите, ведь даже самый большой набор тестов не гарантирует 100% работоспособность кода на всех кейсах? На помощь придет верификация ПО с помощью формальных методов! Опишем спецификацию на программу с помощью математических языков и докажем какие-нибудь ее свойства. Не обещаем, что будет просто, но точно будет интересно! Вместе с профессором Национального Университета Сингапура Ильей Сергеем разобрали верификацию не только на простых задачах, но и в проектах с огромной кодовой базой и распределенными вычислениями. Обсудили истории успеха из реальных проектов, основные сложности этого подхода и направления активных исследований применения формальных методов в разработке ПО.
Оставляйте заявку и бесплатно переносите проекты на гибкую и мощную инфраструктуру Selectel: slc.tl/gzpzo
Поддержи лучший подкаст про IT:
patreon.com/podlodka
Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!
Telegram-чат: t.me/podlodka
Telegram-канал: t.me/podlodkanews
Страница в Facebook: facebook.com/podlodkacast/
Twitter-аккаунт: twitter.com/PodlodkaPodcast
Ведущие в выпуске:
Катя Петрова, Стас Цыганов
Полезные ссылки:
Введение в верификацию в Coq softwarefoundations.cis.upenn.edu/
Комплятор C верифицированный в Coq
compcert.org/
Книжка Лампорта по спецификации сисатем lamport.azurewebsites.net/tla/book-02-08-08.pdf
Facebook Infer, анализ построенный на логике
fbinfer.com/
Как в Амазоне используют формальные методы
youtube.com/watch?v=YdxvOPenjWI&ab_channel=ACMSIGOPS
Model Checker для Rust
github.com/model-checking/kani
Сайт Ильи
ilyasergey.net
Twitter Ильи
twitter.com/ilyasergey