Homepage
Open in app
Sign in
Get started
About us
Our website
Tagged in
Web3 Security
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Followers
132
Elsewhere
More, on Medium
Web3 Security
Ghila Castelnuovo
in
Certora
Jul 19, 2023
Formal Specification with CVL: From ERC20 to Read Only Reentrancy
Read more…
7