Миронов А.М. - Формальная семантика и верификация ПО - 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 Модификация задачи Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #мгу #мехмат #миронов #формальнаясемантикапо #верификацияпо