Миронов А.М. - Формальная семантика и верификация ПО - 8.Пример верификации распределенной программы

Пример верификации распределенной программы (умножение двух матриц) 00:00:15 Устройство распределенной программы для умножения двух матриц (повторение) 00:22:49 Теорема (свойства) 00:22:49 Теорема (свойства) 00:33:46 Доказательство теоремы 01:07:19 Завершение программы за конечное число шагов Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #мгу #мехмат #миронов #формальнаясемантикапо #верификацияпо