SMT Solving

Testing Smart Contracts: Which Technique Performs Best?

Executing, verifying and enforcing credible transactions on permissionless blockchains is done using smart contracts. A key challenge …

Sefa Akca, Chao Peng, Ajitha Rajan