Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 23:05, 11 декабря 2022 (разн. | история) . . (+136) . . Н Файл:Verif VP 31.pdf (Методы верификации (618, 621). Блок 31. Проблема выполнимости булевых формул (SAT))
- 23:04, 11 декабря 2022 (разн. | история) . . (+124) . . Н Файл:Verif VP 30.pdf (Методы верификации (618, 621). Блок 30. Bounded model checking (BMC), постановка задачи)
- 17:26, 10 декабря 2022 (разн. | история) . . (+84) . . Математическая логика и логическое программирование (3-й поток)
- 17:25, 10 декабря 2022 (разн. | история) . . (+107) . . Н Файл:MLLP VP 58.pdf (Мат. лог. и лог. прог., 3 поток. Блок 56. Алгоритм model checking для CTL)
- 15:26, 8 декабря 2022 (разн. | история) . . (+1021) . . Шаблон:Important Announcements (→Объявления)
- 15:30, 7 декабря 2022 (разн. | история) . . (+584) . . Математические методы верификации схем и программ
- 15:28, 7 декабря 2022 (разн. | история) . . (+130) . . Н Файл:Verif VP 29.pdf (Методы верификации (618, 621). Блок 29. Редукция по конусу, абстракция данных)
- 15:27, 7 декабря 2022 (разн. | история) . . (+187) . . Н Файл:Verif VP 28.pdf (Методы верификации (618, 621). Блок 28. Бисимуляция состояний. Алгоритм проверки бисимуляции. Фактор-модель)
- 15:26, 7 декабря 2022 (разн. | история) . . (+105) . . Н Файл:Verif VP 27.pdf (Методы верификации (618, 621). Блок 27. Симуляция и бисимуляция)
- 09:55, 7 декабря 2022 (разн. | история) . . (0) . . Файл:MLLP VP 56.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 56.pdf»)
- 09:54, 7 декабря 2022 (разн. | история) . . (0) . . Файл:MLLP VP 54.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 54.pdf»)
- 09:54, 7 декабря 2022 (разн. | история) . . (0) . . Файл:MLLP VP 53.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 53.pdf»)
- 11:48, 4 декабря 2022 (разн. | история) . . (+408) . . Математическая логика и логическое программирование (3-й поток)
- 11:46, 4 декабря 2022 (разн. | история) . . (+134) . . Н Файл:MLLP VP 57.pdf (Мат. лог. и лог. прог., 3 поток. Блок 57. Темпоральные логики для спецификации)
- 11:43, 4 декабря 2022 (разн. | история) . . (+121) . . Н Файл:MLLP VP 56.pdf (Мат. лог. и лог. прог., 3 поток. Блок 56. Размеченные системы переходов)
- 11:42, 4 декабря 2022 (разн. | история) . . (+129) . . Н Файл:MLLP VP 55.pdf (Мат. лог. и лог. прог., 3 поток. Блок 55. Верификация распределённых систем)
- 14:18, 29 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 54.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 54.pdf»)
- 14:18, 29 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 53.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 53.pdf»)
- 17:15, 28 ноября 2022 (разн. | история) . . (0) . . Файл:Verif VP Prac Uppaal.pdf (PodymovVV загружена новая версия «Файл:Verif VP Prac Uppaal.pdf»)
- 20:11, 26 ноября 2022 (разн. | история) . . (-2) . . Математические методы верификации схем и программ
- 20:10, 26 ноября 2022 (разн. | история) . . (+104) . . Н Файл:Verif VP Prac Uppaal.zip (Методы верификации (618, 621). Доп. материалы к задачам по Uppaal) (текущая)
- 20:07, 26 ноября 2022 (разн. | история) . . (+72) . . Н Файл:Verif VP Prac Uppaal.pdf (Методы верификации (618, 621). Задачи по Uppaal)
- 16:20, 26 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 49.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 49.pdf»)
- 16:19, 26 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 47.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 47.pdf»)
- 16:12, 26 ноября 2022 (разн. | история) . . (+416) . . Математическая логика и логическое программирование (3-й поток)
- 16:11, 26 ноября 2022 (разн. | история) . . (+177) . . Н Файл:MLLP VP 54.pdf (Мат. лог. и лог. прог., 3 поток. Блок 54. Логика Хоара и автоматизация проверки правильности программ)
- 16:10, 26 ноября 2022 (разн. | история) . . (+202) . . Н Файл:MLLP VP 53.pdf (Мат. лог. и лог. прог., 3 поток. Блок 53. Модельные императивные программы. Постановка задачи верификации программ)
- 16:09, 26 ноября 2022 (разн. | история) . . (+108) . . Н Файл:MLLP VP 52.pdf (Мат. лог. и лог. прог., 3 поток. Блок 52. Формальная верификация)
- 18:13, 22 ноября 2022 (разн. | история) . . (+37) . . м Спецсеминары
- 22:04, 20 ноября 2022 (разн. | история) . . (+54) . . м Математические методы верификации схем и программ
- 19:57, 20 ноября 2022 (разн. | история) . . (+403) . . Математические методы верификации схем и программ
- 19:55, 20 ноября 2022 (разн. | история) . . (+107) . . Н Файл:Verif VP 26.pdf (Методы верификации (618, 621). Блок 26. Сети временных автоматов)
- 19:55, 20 ноября 2022 (разн. | история) . . (+172) . . Н Файл:Verif VP 25.pdf (Методы верификации (618, 621). Блок 25. Алгоритм model checking для TCTL. Временные регионы, системы регионов)
- 19:54, 20 ноября 2022 (разн. | история) . . (+178) . . Н Файл:Verif VP 24.pdf (Методы верификации (618, 621). Блок 24. Логика ветвящегося реального времени (TCTL). Задача model checking для TCTL)
- 19:53, 20 ноября 2022 (разн. | история) . . (+635) . . Математическая логика и логическое программирование (3-й поток)
- 19:51, 20 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 47.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 47.pdf»)
- 19:48, 20 ноября 2022 (разн. | история) . . (+110) . . Н Файл:MLLP VP 51.pdf (Мат. лог. и лог. прог., 3 поток. Блок 51. Интуиционистская логика)
- 19:47, 20 ноября 2022 (разн. | история) . . (+102) . . Н Файл:MLLP VP 50.pdf (Мат. лог. и лог. прог., 3 поток. Блок 50. Темпоральные логики)
- 19:47, 20 ноября 2022 (разн. | история) . . (+106) . . Н Файл:MLLP VP 49.pdf (Мат. лог. и лог. прог., 3 поток. Блок 49. Эпистемические логики)
- 19:46, 20 ноября 2022 (разн. | история) . . (+96) . . Н Файл:MLLP VP 48.pdf (Мат. лог. и лог. прог., 3 поток. Блок 48. Модальные логики)
- 19:46, 20 ноября 2022 (разн. | история) . . (+107) . . Н Файл:MLLP VP 47.pdf (Мат. лог. и лог. прог., 3 поток. Блок 47. Оператор отрицания. SLDNF)
- 19:45, 20 ноября 2022 (разн. | история) . . (+106) . . Н Файл:MLLP VP 46.pdf (Мат. лог. и лог. прог., 3 поток. Блок 46. Отрицание в логпрог, cwa)
- 16:19, 17 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 43.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 43.pdf»)
- 21:32, 13 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 38.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 38.pdf»)
- 17:48, 13 ноября 2022 (разн. | история) . . (+373) . . Математические методы верификации схем и программ
- 17:47, 13 ноября 2022 (разн. | история) . . (+166) . . Н Файл:Verif VP 23.pdf (Методы верификации (618, 621). Блок 23. СРВ, временные автоматы и их неправдоподобные вычисления)
- 17:46, 13 ноября 2022 (разн. | история) . . (+96) . . Н Файл:Verif VP 22.pdf (Методы верификации (618, 621). Блок 22. CTL*, сравнение CTL и LTL)
- 12:18, 13 ноября 2022 (разн. | история) . . (0) . . Файл:Verif VP 09.pdf (PodymovVV загружена новая версия «Файл:Verif VP 09.pdf»)
- 18:27, 12 ноября 2022 (разн. | история) . . (0) . . Файл:Verif VP Review Nusmv.pdf (PodymovVV загружена новая версия «Файл:Verif VP Review Nusmv.pdf»)
- 18:07, 7 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 40.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 40.pdf»)
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)