Homepage
Open in app
Sign in
Get started
Top Stories published by ConsenSys Diligence in October of 2019
All
2019
October
Sort by most read
Valentin Wüstholz
in
ConsenSys Diligence
Oct 8, 2019
Checking Custom Correctness Properties of Smart Contracts Using MythX
Read more…
124
September 2019
About
ConsenSys Diligence
ConsenSys Diligence has the mission of solving Ethereum smart contract security. Contact us for an audit at
diligence@consensys.net
.
More information
Tags
Correctness
Ethereum
Testing
Security
Program Analysis
Editors
Valentin Wüstholz
Maurelian
Daniel Luca (CleanUnicorn)
Shayan Eskandari
Bernhard Mueller
Nathan
Gonçalo Sá
MP
Rocky Bernstein
ConsenSys Diligence
Steve Marx
Dominik Muhs
Sergii Kravchenko
Writers
Peter Pakalski