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