Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 832: | Строка 832: | ||
=== Подходы к верификации программ. Верификация программ на моделях. Процесс верификации программы при помощи её модели. Область применения, плюсы и минусы. === | === Подходы к верификации программ. Верификация программ на моделях. Процесс верификации программы при помощи её модели. Область применения, плюсы и минусы. === | ||
- | ''Лекция 1, Слайды 34-38 | + | ''Лекция 1, Слайды 34-38 '' |
<u>Особенности:</u> | <u>Особенности:</u> | ||
Строка 859: | Строка 859: | ||
<u>Недостатки:</u> | <u>Недостатки:</u> | ||
* работает только для конечных моделей | * работает только для конечных моделей | ||
- | |||
- | |||
- | <u>Области применения</u> | ||
- | * сетевые и криптографические протоколы | ||
- | * протоколы работы кэш-памяти | ||
- | * интегральные схемы | ||
- | * стандарты | ||
- | * встроенные системы | ||
- | * драйвера | ||
- | * и прочие программы на C | ||
=== Верификация на моделях. История развития верификации программ на моделях. Схема верификации программ на моделях. Классы проверяемых свойств правильности программы. === | === Верификация на моделях. История развития верификации программ на моделях. Схема верификации программ на моделях. Классы проверяемых свойств правильности программы. === |