Методы верификации программ - учебный курс | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Авторы: Захаров Владимир Анатольевич, Подымов Владислав Васильевич
Год создания: 2016
Организация: МГУ имени М.В. Ломоносова
Описание: Изучаются математические методы проверки корректности поведения программ, включая методы верификации программ при помощи логики Хоара и метод верификации моделей программ (model checking). Рассматриваются и обосновываются основные приемы построения моделей программ, логические средства спецификации их поведения, а также алгоритмы проверки выполнимости спецификаций на заданных моделях схем. Изучаются инструментальные средства верификации моделей для темпоральных логик NuSMV (Symbolic Model Verifier) и SPIN и их применение для верификации моделей программ.
Добавил в систему: Подымов Владислав Васильевич

	ИСТИНА	Войти в систему Регистрация
	ФНКЦ РР
	Главная Поиск Статистика О проекте Помощь

ИСТИНА