Скоро [ДМК] Введение в формальные методы верификации программ [Александр Камкин]

[Море Слив]

Для просмотра ссылок необходимо выполнить Вход или Регистрация

Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 15 лекций, сопровождаемых вопросами для самопроверки и упражнениями.

В числе рассматриваемых тем:

• обзор базовых методов верификации;
• дедуктивный анализ программ;
• проверка моделей;
• использование формальных...

[ДМК] Введение в формальные методы верификации программ [Александр Камкин]

Курс скоро будет доступен на форуме moresliv.biz. Используйте

Для просмотра ссылок необходимо выполнить Вход или Регистрация

, возможно данный курс уже в наличии.