Runtime Verification 简介
Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
Runtime Verification 团队成员
Runtime Verification 投资方
Runtime Verification 相关信息
Zentachain
安全地进行匿名离线通信和数据存储。
Relay Chain Podcast
关于区块链开发、建立分布式网络的播客。
DeBio Network
去中心化生物网络。
Attic Lab
在区块链行业运营的软件开发公司。
Jonathan Brown
Acuity Social 创始人。
Kadena
为企业和企业家提供区块链平台服务。
Amara Finance
探索 DeFi 边界，以获得新的可能性。
Robonomics
面向基于区块链的机器人经济学概念验证自主智能体行为。
Sunshine
基于 Substrate 去中心化自治组织。