Loading...

DEVCON1: Towards Imandra Contracts: Formal verification for Ethereum - Grant Passmore

1,284 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Dec 15, 2015

DEVCON1 4.40pm Day 1

Grant Passmore of Aesthetic Integration (http://aestheticintegration.com/) presents on Imandra, the breakthrough artificial intelligence technology for ensuring financial algorithms are designed and implemented safely and fairly using formal verification.

Apologies for the audio issues from 01:03 to 02:57

Loading...


to add this to Watch Later

Add to

Loading playlists...