Homepage
Open in app
Sign in
Get started
Developers
UI/UX
Enterprise
Ecosystem
ConsenSys Mesh
Contact Us
Subscribe to Our Newsletters
Tagged in
Formal Methods
ConsenSys Media
News, insights, and education on all things decentralization from leaders in the blockchain industry
More information
Followers
22K
Elsewhere
More, on Medium
Formal Methods
Bernhard Mueller
in
ConsenSys Media
Jan 28, 2018
How formal verification can ensure flawless smart contracts
Read more…
844
7 responses