Runtime Verification
Runtime Verification Inc. 是一家初创公司，利用形式化方法提升计算系统的安全性、可靠性和正确性，涵盖航空航天、汽车和区块链行业。该公司与基础设施建设者合作，提供测试和验证服务，其客户遍布嵌入式系统和区块链领域，包括 Ethereum、Cosmos 和 Polkadot。
项目概览
Runtime Verification Inc. 是一家初创公司，利用形式化方法提升计算系统的安全性、可靠性和正确性，涵盖航空航天、汽车和区块链行业。该公司与基础设施建设者合作，提供测试和验证服务，其客户遍布嵌入式系统和区块链领域，包括 Ethereum、Cosmos 和 Polkadot。
- 赛道标签
- # 其他
- 所属生态
- —
团队信息
团队信息暂未披露。
融资记录
已披露 1 笔- Seed
5,300,000 USD
相关动态
市场热点
暂无相关市场热点。
名人快讯
暂无相关名人快讯。