Формальная верификация смарт-контрактов во фреймворке ConCert
- Блог компании Positive Technologies
- Информационная безопасность
- Программирование
- Solidity
- Криптовалюты
Публикации с тегом formal methods
Формальные методы проверки смарт-контрактов
Что делать, если человечество не сможет создать искуственный интеллект никогда? +15
How to Catch a Cat with TLA+ +9
