Automating the verification of smart contracts in blockchain networks for improving security*
Alejandro M. Chirivella-Ciruelos, Marisol García‐Valls · 2023
Verification of smart contracts improves the sentiment of trust in blockchain as it guarantees their authenticity. However, verification has a cost that can affect the lifecycle flow in time-sensitive systems; as these may require shorter times in code development and smart contract deployment. This paper contributes a strategy to automate the execution of verification tests over smart contracts to extract the meaningful characteristics about the source code authenticity.