D Sorensen - … IEEE International Conference on Blockchain and …, 2024 - ieeexplore.ieee.org
Poorly specified smart contracts can be vulnerable to attacks on faulty design. Formal
methods are currently unable to address these vulnerabilities because they are not …