ChainFeeds
Alpha
VerX
Smart Contract Verifier.
Startups
Security
Web
verx.ch
Full Functional Verification for Ethereum Smart Contracts.
Investors
ChainSecurity
See Also
ROMAD
Merkle Science
FinalMessage
Least Authority
DolphinChain
Quixxi Security
Sooho
Berend-Jan Wever
Glacier
BuboWerks