Homepage
Open in app
Sign in
Get started
Protocol
Safe
GnosisDAO
Gnosis Ecosystem Fund
GNOSIS.IO
Tagged in
Formal Verification
GnosisDAO
Gnosis builds decentralized infrastructure for the Ethereum ecosystem.
More information
Followers
4.6K
Elsewhere
More, on Medium
Formal Verification
Lauren Dunmore
in
GnosisDAO
Apr 26, 2019
Formal Verification— A Journey Deep into the Gnosis Safe Smart Contracts
Don’t worry we’ll get you…
Read more…
219
1 response
Richard Meissner
in
GnosisDAO
Nov 30, 2018
Formal Verification of the Gnosis Safe Contracts
An overview of security measures we have taken for…
Read more…
82