All Articles tagged formal methods

• Peer Reviewed Research
  February 21, 2022 BST
  Creation of a Self-Sustaining Token Economy
  Oleksandr Letychevskyi

  This paper proposes an automated Tokenomics Constructor supported by an Algebraic Server that leverages algebraic behaviour methods and an automatic proof system to build a self-sustaining Token economy.

  Abstract