Ethereum Developer Network: Verifying smart contract properties with Harvey

Check out this Meetup with Ethereum Developer Alliance http://meetu.ps/e/Jbdzc/Cv5fZ/d

Please sign up to see the latest technology and techniques in making smart contracts safer!