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