Assertions

SolAnalyser: A Framework for Analysing and Testing Smart Contracts

Executing, verifying and enforcing credible transactions on permissionless blockchains is done using smart contracts. Smart contracts define and execute crucial agreements, and attacks exploiting their vulnerabilities can lead to huge losses, like …