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

DEVCON1 4.40pm Day 1

Grant Passmore of Aesthetic Integration ( 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


Related posts

Leave a Comment