Вклад участника

Материал из eSyr's wiki.

Поиск вклада

 Показать только вклад, сделанный с новых учётных записей
 IP-адрес или имя участника: Пространство имён: все (Основное) Обсуждение Участник Обсуждение участника eSyr's wiki Обсуждение eSyr's wiki Изображение Обсуждение изображения MediaWiki Обсуждение MediaWiki Шаблон Обсуждение шаблона Справка Обсуждение справки Категория Обсуждение категории

За месяц (и ранее): За год (и ранее): все январь февраль март апрель май июнь июль август сентябрь октябрь ноябрь декабрь

(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)

• 12:12, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Параллелизм. Чередование систем переходов.)
• 11:36, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
• 09:24, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Омега-допускание. Расширение автоматов Бюхи.)
• 18:22, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
• 18:19, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
• 18:18, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
• 18:17, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
• 18:13, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Логика LTL. Эквивалентные преобразования формул LTL.)
• 18:12, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Логика LTL. Основные типы свойств LTL. Цикличность, стабильность, инвариант, гарантия, отклик, приоритет, корреляция.)
• 18:10, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Эквивалентные преобразования формул LTL.)
• 18:07, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Эквивалентные преобразования формул LTL.)
• 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 (история) (разн.) м ВПнМ/Теормин‎ (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
• 15:01, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
• 14:56, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Свойства правильности. Свойства безопасности и живучести. Проверка таких свойств. Примеры свойств.)
• 14:55, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
• 14:49, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
• 12:54, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎
• 12:52, 20 мая 2009 (история) (разн.) ВПнМ‎ (→Информация о курсе)
• 12:47, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели. - убрал достато)
• 12:47, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция системы переходов. Достаточное условие корректности LTS модели. Адекватность LTS модели.)
• 12:41, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
• 12:39, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
• 12:36, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
• 12:35, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
• 12:34, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
• 12:32, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Синхронный параллелизм. Рандеву.)
• 12:20, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Параллелизм. Синхронный параллелизм. Рандеву.)
• 12:19, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Синхронный параллелизм. Рандеву.)
• 12:04, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
• 11:37, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
• 11:29, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)

(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)