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

Неформально о формальных методах, как и почему это работает в #KasperskyOS

На самом деле, нет! ?

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

▶️ Смотрите на YouTube

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

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

На самом деле, нет! ?

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

▶️ Смотрите на YouTube

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

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

Консультация по решению

Остались вопросы или требуется дополнительная информация по решению? Оставьте заявку на консультацию, и мы с вами свяжемся!

Задать вопрос

Отвечаем на самые популярные вопросы о KasperskyOS и решениях на ее основе

Перейти в FAQ