Homepage
Open in app
Sign in
Get started
Tagged in
Correctness
ConsenSys Diligence
ConsenSys Diligence has the mission of solving Ethereum smart contract security. Contact us for an audit at
diligence@consensys.net
.
More information
Followers
456
Elsewhere
More, on Medium
Correctness
Valentin Wüstholz
in
ConsenSys Diligence
Oct 8, 2019
Checking Custom Correctness Properties of Smart Contracts Using MythX
Read more…
124