Публикации с тегом formal verification
Формальная верификация смарт-контрактов во фреймворке ConCert
- Программирование
- Информационная безопасность
- Блог компании Positive Technologies
- Криптовалюты
- Solidity
Подробно о Coq: зависимое сопоставление с образцом +5
Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1
COQ: верификация функций, содержащих fold_left +7
Формальная верификация кода на Coq: тактики +4
Как я убеждал блондинку Машу перейти с программирования RTOS в проектирование железа (а также Coq, Lisp и Haskell) +15
- Программирование
- Программирование микроконтроллеров
- Электроника для начинающих
- FPGA
- Функциональное программирование
