Зачем нужны формальные методы — это же долго, дорого и трудно?
На самом деле, нет! 🙃

Неформально о формальных методах, как и почему это работает в #KasperskyOS, рассказывает Васил Дядов, руководитель группы разработки формальных методов «Лаборатории Касперского».

▶️ Смотрите на YouTube
https://www.youtube.com/watch?v=WYLgHLjrz8U

Спойлер: катастрофические последствия программных ошибок, результаты использования как легковесных методов, так и статического анализа с моделированием окружения — вот, что вы увидите в новом видео на нашем канале.

Узнайте больше о KasperskyOS на официальном сайте: https://os.kaspersky.ru