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