Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 11:22, 13 декабря 2025 | Verif VP 36.pdf (файл) |  |
158 КБ | PodymovVV | 2025/2026, без существенных изменений (с поправкой на нумерацию) | 3 |
| 11:22, 13 декабря 2025 | Verif VP 35.pdf (файл) | |
153 КБ | PodymovVV | 2025/2026, без существенных изменений (с поправкой на нумерацию) | 4 |
| 15:30, 3 декабря 2025 | MLLP VP 52.pdf (файл) | |
170 КБ | PodymovVV | опечатка | 8 |
| 15:26, 3 декабря 2025 | Verif VP 34.pdf (файл) | |
247 КБ | PodymovVV | опечатки | 5 |
| 11:42, 1 декабря 2025 | MLLP VP 53.pdf (файл) | |
203 КБ | PodymovVV | подрихтовал | 9 |
| 12:54, 27 ноября 2025 | Verif VP Prac Uppaal.pdf (файл) | |
458 КБ | PodymovVV | 2025/2026, без существенных изменений | 5 |
| 12:18, 27 ноября 2025 | Verif VP 31.pdf (файл) | |
162 КБ | PodymovVV | опечатки | 6 |
| 17:29, 23 ноября 2025 | MLLP VP 51.pdf (файл) | |
180 КБ | PodymovVV | 2025/2026, теперь тут модели крипке | 4 |
| 17:29, 23 ноября 2025 | MLLP VP 50.pdf (файл) | |
130 КБ | PodymovVV | 2025/2026, теперь тут начало рассказа о проверке моделей | 4 |
| 17:28, 23 ноября 2025 | MLLP VP 49.pdf (файл) | |
258 КБ | PodymovVV | 2025/2026, теперь тут логика хоара | 6 |
| 17:28, 23 ноября 2025 | MLLP VP 48.pdf (файл) | |
195 КБ | PodymovVV | 2025/2026, теперь тут модельные императивные программы | 4 |
| 17:28, 23 ноября 2025 | MLLP VP 47.pdf (файл) | |
124 КБ | PodymovVV | 2025/2026, теперь тут начало про формальную верификацию | 6 |
| 17:25, 23 ноября 2025 | Verif VP 33.pdf (файл) | |
247 КБ | PodymovVV | 2025/2026, без существенных изменений | 3 |
| 14:16, 13 ноября 2025 | Verif VP 32.pdf (файл) | |
159 КБ | PodymovVV | 2025/2026, без существенных изменений | 6 |
| 12:09, 13 ноября 2025 | MLLP VP 46.pdf (файл) | |
159 КБ | PodymovVV | 2025/2026, без существенных изменений (с поправкой на сдвиг нумерации) | 6 |
| 12:09, 13 ноября 2025 | MLLP VP 45.pdf (файл) | |
166 КБ | PodymovVV | 2025/2026, без существенных изменений (с поправкой на сдвиг нумерации) | 5 |
| 20:22, 10 ноября 2025 | MLLP VP 40.pdf (файл) | |
135 КБ | PodymovVV | опечатки | 7 |
| 20:22, 10 ноября 2025 | MLLP VP 39.pdf (файл) | |
161 КБ | PodymovVV | опечатки | 6 |
| 20:16, 10 ноября 2025 | HDL VP R06.pdf (файл) | |
198 КБ | PodymovVV | опечатки | 5 |
| 20:31, 3 ноября 2025 | MLLP VP 44.pdf (файл) | |
168 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 4 |
| 20:30, 3 ноября 2025 | MLLP VP 43.pdf (файл) | |
138 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 5 |
| 20:30, 3 ноября 2025 | MLLP VP 42.pdf (файл) | |
200 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 5 |
| 20:30, 3 ноября 2025 | MLLP VP 41.pdf (файл) | |
148 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 5 |
| 20:23, 3 ноября 2025 | Verif VP 30.pdf (файл) | |
124 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 6 |
| 20:23, 3 ноября 2025 | Verif VP 29.pdf (файл) | |
162 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 8 |
| 20:23, 3 ноября 2025 | Verif VP 28.pdf (файл) | |
130 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 8 |
| 19:15, 1 ноября 2025 | Verif VP 26.pdf (файл) | |
155 КБ | PodymovVV | опечатки, и перемешал порядок изложения | 7 |
| 19:14, 1 ноября 2025 | Verif VP 25.pdf (файл) | |
140 КБ | PodymovVV | опечатки | 9 |
| 21:55, 31 октября 2025 | Verif VP Prac Nusmv.pdf (файл) | |
1,46 МБ | PodymovVV | 2025/2026, без существенных изменений | 4 |
| 14:34, 28 октября 2025 | MLLP VP 38.pdf (файл) | |
169 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 6 |
| 14:26, 28 октября 2025 | MLLP VP 20.pdf (файл) | |
272 КБ | PodymovVV | небольшая опечатка | 6 |
| 14:23, 28 октября 2025 | Verif VP 27.pdf (файл) | |
144 КБ | PodymovVV | 2025/2026, вырезал bdd, нумерация уменьшилась на 1 | 5 |
| 15:23, 27 октября 2025 | Verif VP Review Nusmv.pdf (файл) | |
474 КБ | PodymovVV | опечатки | 7 |
| 15:21, 27 октября 2025 | HDL VP 31.pdf (файл) | |
146 КБ | PodymovVV | опечатки | 5 |
| 15:20, 27 октября 2025 | HDL VP 30.pdf (файл) | |
122 КБ | PodymovVV | опечатки | 5 |
| 00:56, 27 октября 2025 | MLLP VP 37.pdf (файл) | |
193 КБ | PodymovVV | 2025/2026, без существенных изменений | 5 |
| 00:56, 27 октября 2025 | MLLP VP 36.pdf (файл) | |
185 КБ | PodymovVV | 2025/2026, без существенных изменений | 4 |
| 00:56, 27 октября 2025 | MLLP VP 35.pdf (файл) | |
93 КБ | PodymovVV | 2025/2026, без существенных изменений | 6 |
| 00:56, 27 октября 2025 | MLLP VP 34.pdf (файл) | |
178 КБ | PodymovVV | 2025/2026, без существенных изменений | 5 |
| 23:17, 26 октября 2025 | Verif VP 24.pdf (файл) | |
192 КБ | PodymovVV | опечатки | 7 |
| 23:13, 26 октября 2025 | Verif VP 22.pdf (файл) | |
172 КБ | PodymovVV | опечатки | 7 |
| 23:00, 26 октября 2025 | HDL VP R07.pdf (файл) | |
171 КБ | PodymovVV | 2025/2026, без существенных изменений | 2 |
| 23:00, 26 октября 2025 | HDL VP R05.pdf (файл) | |
164 КБ | PodymovVV | 2025/2026, без существенных изменений | 3 |
| 23:00, 26 октября 2025 | HDL VP R04.pdf (файл) | |
78 КБ | PodymovVV | 2025/2026, без существенных изменений | 3 |
| 23:00, 26 октября 2025 | HDL VP R03.pdf (файл) | |
174 КБ | PodymovVV | 2025/2026, без существенных изменений | 4 |
| 22:59, 26 октября 2025 | HDL VP R02.pdf (файл) | |
227 КБ | PodymovVV | 2025/2026, без существенных изменений | 4 |
| 22:59, 26 октября 2025 | HDL VP R01.pdf (файл) | |
171 КБ | PodymovVV | 2025/2026, без существенных изменений | 5 |
| 22:55, 26 октября 2025 | HDL VP s05.pdf (файл) | |
145 КБ | PodymovVV | 2025/2026, без существенных изменений | 3 |
| 22:27, 26 октября 2025 | HDL VP 27.pdf (файл) | |
174 КБ | PodymovVV | лёгкие исправления | 6 |
| 21:07, 13 октября 2025 | MLLP VP 33.pdf (файл) | |
117 КБ | PodymovVV | 2025/2026. 25 и 26 слились, нумерация поехала | 7 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
