Showing 25 of 77 ICOs Found Matching Search "Formal Verification"
Sorted By Rating Descending
Evarium
0
ENDED
An asset-backed real estate investment platform. Exact sales dates TBA.
Celer Network
0
ENDED
Celer Network is a leading layer-2 scaling platform that enables fast, easy and secure off-chain...
Elrond Network
0
ENDED
The advent of secure public blockchains through Bitcoin and later Ethereum, has brought forth a...
MatrixChain
0
ENDED
A blockchain platform that supports smart contracts and machine learning services.
Universal Recognition Token
0
ENDED
Universal Recognition Token is the first blockchain-based corporate rewards marketplace where employees may sell and...
Filecoin
0
ENDED
The Filecoin network will operate as a decentralized, open marketplace for storage services.
Cryptyk
19
ENDED
An enterprise cyber security and storage application.
Citowise
2
ENDED
A cryptocurrency debit card and payment processing application.
CVerification
3
ENDED
Blockchain-based Recruitment and Background Verification Platform
One Solution
6
ENDED
A cryptoasset fund with decentralized governance.
GESE
1
ENDED
A blockchain platform that protects against counterfeit products by placing NFC tags on alcoholic products.
LendLedger
3
ENDED
LendLedger brings together Borrowers, Lenders, and Data Providers in an open and decentralized network built...
Nori
1
ENDED
Tokenized carbon credits aiming to facilitate a marketplace for sequestering carbon from the atmosphere, provably...
ArtPro Platform LTD
13
ENDED
An online art marketplace.
Hiway
6
ENDED
The Hiway platform is a blockchain tailored marketplace for work. It builds on a few...
Ten Billion Coin IEO
10
ENDED
Smart Contracts are basically auto-executing code; ‘if-then’ statements that can be used to trigger or...
B21
20
ENDED
B21 is a personal wealth management platform for crypto assets that enables the mass market...
Invox Token Sale
0
ENDED
An invoice lending platform with a mobile application.
QYKBAR
0
ENDED
A decentralized alcohol purchase and consumption platform, allowing users to share purchases across bars.
InMusik
0
ENDED
I Inmusik is an ecosystem based on a blockchain database that supports the...
Myriad.IO
0
ENDED
Myriads.io - project that aims to decentralize artificial intelligence by leveraging blockchain technology.
Gainfy
0
ENDED
An enterprise and consumer healthcare platform.
Republia
0
ENDED
A native blockchain protocol emphasizing formal verification.
Residual Token
0
ENDED
A decentralized lending ecosystem.
Xenchain
0
ENDED
A digital identity platform and KYC service.