Формальная верификация смарт-контрактов во фреймворке ConCert
- Программирование
- Информационная безопасность
- Блог компании Positive Technologies
- Криптовалюты
- Solidity
Публикации с тегом формальная верификация
Формальные методы проверки смарт-контрактов
Подробно о Coq: зависимое сопоставление с образцом +5
Что такое формальная верификация +15
COQ: верификация функций, содержащих fold_left +7
Формальная верификация кода на Coq: тактики +4
Формальная верификация в информационной безопасности. Как пройти сертификацию во ФСТЭК +6
