solc-verify: A Modular Verifier for Solidity Smart Contracts
Keyword(s):
Keyword(s):
2020 ◽
Vol 5
(7)
◽
pp. 781-784
Keyword(s):