Разница между тестированием и верификацией
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика"
http://dcn.icc.spbstu.ru/
Дедуктивная верификация программ
Программа как преобразователь предикатов
Видео Разница между тестированием и верификацией канала Irina Shoshmina
http://dcn.icc.spbstu.ru/
Дедуктивная верификация программ
Программа как преобразователь предикатов
Видео Разница между тестированием и верификацией канала Irina Shoshmina
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Мир вампуса и ограниченные кванторы
Доказательство корректности ациклических программ
Формулировка основной теоремы теории двоичных функций
Двоичные функции как конечные функциональные преобразователи
Требования, зависящие от времени
Построение схемы отображения электронных часов
О проблеме корректности программных систем управления
Проверка корректности системы управления микроволновой печью
Унификация атомарных предикатов
Алгоритм DPLL
Свойства аксиоматических теорий
Интерливинг в параллельных программах
Практические задачи как задачи SAT
Представление структуры Крипке с помощью BDD
Протокол выбора лидера
Силлогизмы и метод резолюций в логике высказываний
Замечание о программировании по контракту
Индуктивный метод Флойда
Резюме по методу проверки модели для CTL
Задача Порецкого о птицах - пример задачи с 4-мя переменными