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

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

Вклад Tehhi (Обсуждение | Журнал блокировок | Журналы)

Перейти к: навигация, поиск

Поиск вклада Показать только вклад, сделанный с новых учётных записей
IP-адрес или имя участника: Пространство имён:

За месяц (и ранее): За год (и ранее):

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

18:55, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
18:40, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
18:25, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
18:25, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
18:00, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию.)
17:43, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию.)
17:40, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию.)
17:33, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию.)
17:33, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию.)
17:33, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию.)
17:32, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию.)
17:32, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию.)
17:25, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию.)
17:25, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию.)
16:50, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств состояний.)
16:46, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
16:43, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
16:27, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
16:26, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
16:24, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
16:24, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
15:31, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств состояний.)
15:30, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств состояний.)
15:30, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств состояний.)
15:27, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств состояний.)
15:21, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
15:16, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
14:53, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
14:35, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
14:34, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
14:32, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
14:29, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
14:23, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
14:22, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
13:47, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
13:41, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
12:43, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция системы переходов. Достаточное условие корректности LTS модели. Адекватность LTS модели.)
12:42, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция системы переходов. Достаточное условие корректности LTS модели. Адекватность LTS модели.)
12:40, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция системы переходов. Достаточное условие корректности LTS модели. Адекватность LTS модели.)
12:26, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция системы переходов. Достаточное условие корректности LTS модели. Адекватность LTS модели.)
12:21, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция системы переходов. Достаточное условие корректности LTS модели. Адекватность LTS модели.)
12:21, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция системы переходов. Достаточное условие корректности LTS модели. Адекватность LTS модели.)
12:17, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
11:56, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
11:51, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)