Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 745: | Строка 745: | ||
<u>Методы верификации:</u> | <u>Методы верификации:</u> | ||
- | * "Полное" тестирование ( | + | * "Полное" тестирование (слайды 14-22) |
- | * Имитационное моделирование | + | * Имитационное моделирование |
- | * Доказательство теорем ( | + | * Доказательство теорем (27-29) |
- | * Статический анализ ( | + | * Статический анализ (30-33) |
- | * Верификация на моделях ( | + | * Верификация на моделях (34-38) |
<u>Типы программ:</u> | <u>Типы программ:</u> |