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