shopify analytics tool

Bitcoin Faucet

Online-money exchange rating

0 Members and 1 Guest are viewing this topic.

*

CCN

London Fintech Firm Launches Formal Verification Platform for Blockchain-Based Smart Contracts

Aesthetic Integration, a London-based fintech that applies “formal verification” to analyze safety and fairness of algorithms in financial markets, recently announced the launch of Imandra Contracts, a solution the company calls the world’s first platform using formal verification for blockchain-backed smart contracts. The announcement was made at the Devcon2 conference as part of International Blockchain […]


The post London Fintech Firm Launches Formal Verification Platform for Blockchain-Based Smart Contracts appeared first on CCN: Financial Bitcoin & Cryptocurrency News.


Source: London Fintech Firm Launches Formal Verification Platform for Blockchain-Based Smart Contracts



Tags: