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



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

source

Related posts

Leave a Comment