Homepage
Open in app
Sign in
Get started
About us
Our website
Tagged in
Formal Methods
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Followers
131
Elsewhere
More, on Medium
Formal Methods
Jorge Navas
in
Certora
Aug 20, 2023
Formal Verification of the Confidentiality Extension of SPL Token 2022
Read more…
8
Jorge Navas
in
Certora
Aug 14, 2023
Formal Verification of SPL Token 2022
Author: Jorge A. Navas
Read more…
11
Jorge Navas
in
Certora
Aug 8, 2023
Formal Verification of Solana Smart Contracts
Author: Jorge A. Navas
Read more…
20
Mooly Sagiv
in
Certora
Dec 21, 2022
Five Myths about Formally Verifying Smart Contracts
For a long time it puzzled me how something so expensive, so leading
…
Read more…
24