Homepage
Open in app
Sign in
Get started
About us
Our website
Tagged in
Formal Specification
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Followers
131
Elsewhere
More, on Medium
Formal Specification
Uri Kirstein
in
Certora
Jun 29, 2022
Detecting Corner Cases in Compound V3 with Formal Specifications
We describe an interesting…
Read more…
49
1 response
Uri Kirstein
in
Certora
Jun 10, 2022
Finding Bugs in Formal Specifications
Formal verification can drastically improve code security when done right. However, it can…
Read more…
92