Вклад участника
Материал из eSyr's wiki.
(Новейшие | Старейшие) Просмотреть (Более новые 20) (Более старые 20) (20 | 50 | 100 | 250 | 500)
- 17:52, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Основные типы свойств LTL. Цикличность, стабильность, инвариант, гарантия, отклик, приоритет, корреляция.)
- 17:41, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Синтаксис LTL. Семантика выполнимости формул. Сильный и слабый until.)
- 17:29, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Синтаксис LTL. Семантика выполнимости формул. Сильный и слабый until.)
- 17:13, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Синтаксис LTL. Семантика выполнимости формул. Сильный и слабый until.)
- 16:43, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Верификация на моделях. История развития верификации программ на моделях. Схема верификации программ на моделях. Классы проверяемых с)
- 16:42, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Верификация на моделях. История развития верификации программ на моделях. Схема верификации программ на моделях. Классы проверяемых с)
- 16:42, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 16:39, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Подходы к верификации программ. Верификация программ на моделях. Процесс верификации программы при помощи её модели. Область применен)
- 16:33, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Подходы к верификации программ. Верификация программ на моделях. Процесс верификации программы при помощи её модели. Область применен)
- 16:25, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Подходы к верификации программ. Статический анализ исходного кода программ. Область применения, плюсы и минусы.)
- 16:20, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Подходы к верификации программ. Доказательство теорем. Область применения, плюсы и минусы.)
- 16:16, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Задача проверки правильности программ. Валидация. Верификация. Системы с повышенными требованиями к надёжности. Реактивные программы)
- 15:19, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Задача проверки правильности программ. Валидация. Верификация. Системы с повышенными требованиями к надёжности. Реактивные программы)
- 15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Задача проверки правильности программ. Валидация. Верификация. Системы с повышенными требованиями к надёжности. Реактивные программы)
- 15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Подходы к верификации программ. Тестирование и имитационное моделирование. Область применения, плюсы и минусы. Проблема полноты тесто)
- 15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Подходы к верификации программ. Тестирование и имитационное моделирование. Область применения, плюсы и минусы. Проблема полноты тесто)
- 15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Лекция 1)
- 15:13, 20 мая 2009 (история) (разн.) ВПнМ/Теормин
- 15:09, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 15:01, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
(Новейшие | Старейшие) Просмотреть (Более новые 20) (Более старые 20) (20 | 50 | 100 | 250 | 500)