Watch / Imandra Contracts Formal Verification for Ethereum

Imandra Contracts Formal Verification for Ethereum

  • YouTube
  • IPFS
  • Swarm
  • Details

Imandra Contracts Formal Verification for Ethereum

Duration: 00:15:27

Speaker: Grant Passmore, Evgeny Gokhberg

Type: Talk

Expertise: Advanced

Event: Devcon 2

Date: Sep 2016

A presentation covering Imandra Contracts, Aesthetic Integration’s cloud-based formal verification system for Ethereum.
  • Related