Runtime Vеrification プロジェクト紹介、チーム、資金調達とニュース

パフォーマンス

249.09% (24h)

0100200300400500

プロジェクトランキング: 8626/15393

2450.06% (24h)

0400800120016002000

プロジェクトランキング: 2224/15393

Everett Hildenbrandt

最高経営責任者（CEO）

Grigore Rosu

社長兼CEO

Natalia Klaus

Verification Engineer

ラウンド	金額	評価額	時間	出所	投資家
--	$ 5.3M	--	Jun 21, 2021	--	IIOSG Ventures FFenbushi Capital MMaven 11 BBorderless Capital HHypersphere Ventures TTezos MMultiversX ccFund

ランタイム検証は、パブリックブロックチェーン上の仮想マシンとスマートコントラクトのセキュリティ監査を実行するために形式手法を使用します。また、ブロックチェーン分野のソフトウェアシステムの安全性、信頼性、正確性を向上させるソフトウェアテスト、検証サービス、製品も提供します。

タグ:

所在地:

United States

0.0

0人が評価しました

あなたの見解を共有し、Runtime Vеrificationの議論を盛り上げましょう。

レビューおよび評価はユーザーによって投稿されたものであり、金融アドバイスではなく、プラットフォームの見解を代表するものではありません