Skip to content

Garuda AI

Formal verification and analisys service for blockchain solutions
  • library

    Collection of papers in the field of formal verification and analisys of blockchain solutions, e.g. Consensus Protocols, Token Economy and Smart Contracts.

    0 1 0 0 Updated May 13, 2018

Top languages


Most used topics



This organization has no public members. You must be a member to see who’s a part of this organization.

You can’t perform that action at this time.