CAP, Coq и Евклид +3
Публикации с тегом Coq
CAP-n-Coq. Часть 1. Определения CAP-теоремы +9
Формальная верификация смарт-контрактов во фреймворке ConCert
- Программирование
- Информационная безопасность
- Блог компании Positive Technologies
- Криптовалюты
- Solidity
Подробно о Coq: зависимое сопоставление с образцом +5
Что такое формальная верификация +15
Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1
COQ: верификация функций, содержащих fold_left +7
Формальная верификация кода на Coq: тактики +4
Как я убеждал блондинку Машу перейти с программирования RTOS в проектирование железа (а также Coq, Lisp и Haskell) +15
- Программирование
- Программирование микроконтроллеров
- Электроника для начинающих
- FPGA
- Функциональное программирование
Мой путь к Magmide +1
Первый truly stateless оптимальный алгоритм модел-чекера и его проверка на Coq +26
- Алгоритмы
- Тестирование IT-систем
- Функциональное программирование
- Блог компании Образовательные проекты JetBrains
Coq — не порок +8
Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8
Формальная верификация на примере задачи о волке, козе и капусте +27
