Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts.

Wed, 01 Jan 2025 00:00:00 +0100

Alexandre Mota , Manoel Villarim, Juliano Iyoda , Márcio Cornélio:
Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts. J. Softw. Eng. Res. Dev. 13(2) (2025)