x 1.00
Скачать видео

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

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