Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
Войти
Семинар 9. Механизм локалей в Isabelle. Примеры практического применения инструмента
Лекция из курса:
Формальная семантика и верификация программного обеспечения
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Семинар 9. Механизм локалей в Isabelle. Примеры практического применения инструмента
Видео закончится через
NaN:NaN
00:00
00:00
00:15
Следующая секция начнется через 04:39
Локали. Синтаксис локалей
04:39
Следующая секция начнется через 04:39
Полезные команды. Дополнение локали
11:30
Следующая секция начнется через 04:39
Блоки локальных контекстов. Зависимости между локалями. Импорт локалей
16:20
Следующая секция начнется через 04:39
Интерпретация локалей. Команда sublocale
21:43
Следующая секция начнется через 04:39
Интерпретация локалей. Команда interpretation. Ключевое слово rewrites. Команда interpret
29:10
Следующая секция начнется через 04:39
Верификация алгоритма stablecoin
54:56
Следующая секция начнется через 04:39
Верификация функционального алгоритма сортировки вставками
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

Семинар 9. Механизм локалей в Isabelle. Примеры практического применения инструмента

00:15
Следующая секция начнется через 04:39
Локали. Синтаксис локалей
04:39
Следующая секция начнется через 04:39
Полезные команды. Дополнение локали
11:30
Следующая секция начнется через 04:39
Блоки локальных контекстов. Зависимости между локалями. Импорт локалей
16:20
Следующая секция начнется через 04:39
Интерпретация локалей. Команда sublocale
21:43
Следующая секция начнется через 04:39
Интерпретация локалей. Команда interpretation. Ключевое слово rewrites. Команда interpret
29:10
Следующая секция начнется через 04:39
Верификация алгоритма stablecoin
54:56
Следующая секция начнется через 04:39
Верификация функционального алгоритма сортировки вставками
Свернуть таймкоды
Конспект лекции
Семинар 9. Механизм локалей в Isabelle. Примеры практического применения инструмента
1 / 23