Showing 25-50 of 77 ICOs Found Matching Search "Formal Verification"
Sorted By Rating Descending
iOlite
0
ENDED
A community-driven knowledge base for naturalized languages which enables easier human-machine interfacing.
KYC.Legal
0
ENDED
A personal identity verification platform providing KYC solutions for crypto exchanges, ICOs, banks, funds, etc.
Skillchain
0
ENDED
A record system for academic and career credentials.
Velix.ID
0
ENDED
A global decentralized identity verification & sharing platform. Exact sales dates TBA.
Verime
0
ENDED
A digital identity verification-as-a-service for merchants.
Traxion
0
ENDED
A blockchain-based financial platform for businesses.
Innova Minex
0
ENDED
It is an innovative business model that uses blockchain technology to guarantee the traceability of...
Novam
0
ENDED
NOVAM monitors and automatically mitigate threats to IoT devices and provides auditing compliance investigation for...
STIPS
0
ENDED
A DECENTRALIZED CRYPTO-FINANCE ECOSYSTEM FOR SMART INVESTING AND ASSET MANAGEMENT
Javvy Crypto Solution
0
ENDED
A crypto exchange with wallet solution (not web-based) that will support all expected operations for...
Bidipass
0
ENDED
BidiPass is an identity authentication protocol built on top of Ethereum.
Diagon
0
ENDED
Diagon is an upcoming decentralized eSports platform that will allow individuals from around the world...
Metadium
0
ENDED
An interoperable self-sovereign identity and personal data platform.
Origin Protocol
0
ENDED
Origin is a protocol for creating sharing economy marketplaces on the Ethereum blockchain.
Dataeum
0
ENDED
Dataeum aims to disrupt the existing paradigm, by creating the first blockchain-based platform which uses...
Sessia
0
ENDED
SESSIA’s team has developed a unique iOS and Android software that eliminates the technological debt...
Dayta
0
ENDED
Dayta is a unique personal data service that combines the user needs for security with...
Digital Bits
0
ENDED
The DigitalBits Project is an open-source software project used by the DigitalBits blockchain network. ...
Carbon Offset Initiative
0
ENDED
Carbon Offset Initiative is a green solution for waste and data traceability in different industrial...
Bow Token
0
ENDED
The BOW Blockchain is the answer to the aspirations of the sector by giving concrete...
Bridge Protocol
0
ENDED
A NEO-based identity platform for ICO KYC services.
Burency
0
ENDED
Burency is an advocate for crypto and Blockchain adoption, particularly in the MIDDLE EAST. The...
Glyff
0
ENDED
Blockchain and its applications, cryptocurrency and smart contracts, have been lauded as a key innovation...
MetaHash
0
ENDED
#MetaHash is a blockchain-based digital asset exchange network and decentralized real-time application platform. The versatile...
Multivac
0
ENDED
A high-throughput flexible blockchain platform based on trusted sharding computation.