Watch / Towards Imandra Contracts: Formal verification for Ethereum

Towards Imandra Contracts: Formal verification for Ethereum

  • YouTube
  • IPFS
  • Swarm
  • Details

Towards Imandra Contracts: Formal verification for Ethereum

Duration: 00:20:10

Speaker: Grant Passmore

Type: Talk

Expertise: Advanced

Event: Devcon 1

Date: Nov 2015

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.
  • Related