krlzi Sep 5 at 12:31Formal verification of smart contracts in the ConCert frameworkLevel of difficultyMediumReading time11 minViews294Positive Technologies corporate blogInformation Security*Functional Programming*Solidity*CryptocurrenciesTutorialTotal votes 3: ↑3 and ↓0+5Add to bookmarks1Comments0
Formal verification of smart contracts in the ConCert framework