Миронов А.М. - Формальная семантика и верификация ПО - 11. Наблюдаемая эквивалентность
Наблюдаемая эквивалентность. Планировщик процессов (пример)
00:00:15 Наблюдаемая эквивалентность процессов
00:06:46 Постановка задачи и планы на следующую лекцию
00:09:48 Другое определение наблюдаемой эквивалентности процессов
00:15:28 О свойствах наблюдаемой эквивалентности (по аналогии с сильной эквивалентностью)
00:22:52 Планировщик для операционной системы (пример)
00:39:49 Представление работы планировщика с помощью циклеров
00:46:33 Формальное доказательство свойства (последовательность действий, генерируемых планировщиком и обозначенных альфа, является правильной циклической последовательностью)
01:16:08 Схема дальнейшего доказательства
01:20:38 Модификация задачи
Курс: Формальная семантика и верификация программного обеспечения
Ссылка на плейлист:
#мгу #мехмат #миронов #формальнаясемантикапо #верификацияпо
1 view
305
116
1 day ago 00:00:54 1
Александр Панайотов - шоу “Чувствовать тебя“ (backstage 2)
1 day ago 00:01:00 1
Александр Панайотов - шоу “Чувствовать тебя“ (backstage 3)
1 day ago 00:02:44 1
Александр Панайотов - шоу “Чувствовать тебя“ - Backstage
1 day ago 00:00:58 1
Александр Панайотов - шоу “Чувствовать тебя“ (backstage 1)
1 day ago 00:04:56 1
Александр Панайотов и Ксана Сергиенко - Лабиринт (LIVE)
1 day ago 00:05:01 1
Александр Панайотов и группа . - Мой рай (LIVE)
1 day ago 00:02:32 1
Александр Панайотов - Менi ти приснилась давно (LIVE)
1 day ago 00:04:06 1
Александр Панайотов - Нереальная (LIVE)
1 day ago 00:03:38 1
Александр Панайотов - All is fair in love (LIVE, cover Stevie Wonder)
1 day ago 00:05:19 1
Александр Панайотов - Непобедимый (LIVE)
1 day ago 00:04:22 1
Александр Панайотов - Внутривенная (LIVE)
1 day ago 00:04:28 1
Александр Панайотов - Раздели пополам (LIVE)
1 day ago 00:04:08 1
Александр Панайотов - “Мы близки“ (LIVE)
2 days ago 00:01:59 5
Видео от МБОУ ДО ЧВШ ИМ. П.М. МИРОНОВА
2 days ago 01:27:43 57
Похищение. Новогодний комедийный фильм-концерт (1969, СССР) Часть 2
2 days ago 01:28:31 66
Похищение. Новогодний комедийный фильм-концерт (1969, СССР) Часть 1
2 days ago 00:14:12 2
У МЕНЯ БОМБИТ ► Габенушку 2
2 days ago 00:46:43 1
ИГРАЮ ЗА Disruptor В Габенушку 2 ►
2 days ago 00:35:00 1
Играем в Габенушку 2 за Dazzle ►
2 days ago 00:19:42 1
Слива ► Габенушка 2 ►
2 days ago 00:43:52 1
Игроки Габенушки 2 дцп ► играю за Venomancer ►
2 days ago 00:29:28 1
Игра ► Габенушка 2 ► Gween of Pain
2 days ago 00:39:08 1
МЕНЯ ОСКОРБЛЯЮТ ЗА ТО ЧТО Я ХОРОШО ИГРАЮ ► Габенушка 2► TIMBERSAW