М
Море Слив
Пользователь
- Регистрация
- 27.06.21
- Сообщения
- 85.203
- Реакции
- 13.468
Последние темы автора:
[Аудиокнига] 30 привычек за 30 дней. План-капкан по наведению полного...
Подписка на аналитические материалы США (ноябрь 2024) [Дмитрий Черёмушкин]
Пятнашки с Чудом. Мудрые сказки-подсказки о том, как выбраться из тупика...
[PHP] zCart Multi-Vendor eCommerce Marketplace [Повтор]
Курс для начинающих Easy Start [Марина Швецова]
Подписка на аналитические материалы США (ноябрь 2024) [Дмитрий Черёмушкин]
Пятнашки с Чудом. Мудрые сказки-подсказки о том, как выбраться из тупика...
[PHP] zCart Multi-Vendor eCommerce Marketplace [Повтор]
Курс для начинающих Easy Start [Марина Швецова]
Для просмотра ссылок необходимо выполнить
Вход или Регистрация
Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 15 лекций, сопровождаемых вопросами для самопроверки и упражнениями.
В числе рассматриваемых тем:
- обзор базовых методов верификации;
- дедуктивный анализ программ;
- проверка моделей;
- использование формальных...
[ДМК] Введение в формальные методы верификации программ [Александр Камкин]
Курс скоро будет доступен на форуме moresliv.biz. ИспользуйтеДля просмотра ссылок необходимо выполнить Вход или Регистрация, возможно данный курс уже в наличии.