krlzi 3 апр в 18:32Формальная верификация смарт-контрактов во фреймворке ConCertУровень сложностиСреднийВремя на прочтение12 минКоличество просмотров1.1KБлог компании Positive TechnologiesИнформационная безопасность*Программирование*Solidity*КриптовалютыТуториалВсего голосов 8: ↑8 и ↓0+8Добавить в закладки10Комментарии0
Формальная верификация смарт-контрактов во фреймворке ConCert