krlzi Apr 3 at 18:32Формальная верификация смарт-контрактов во фреймворке ConCertLevel of difficultyMediumReading time12 minViews1.1KPositive Technologies corporate blogInformation Security*Programming*Solidity*CryptocurrenciesTutorialTotal votes 8: ↑8 and ↓0+8Add to bookmarks10Comments0
Формальная верификация смарт-контрактов во фреймворке ConCert