Runtime Verification 简介
Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
Runtime Verification 团队成员
Runtime Verification 投资方
Runtime Verification 相关信息
Sonja Prstec
Web3 基金会的法律顾问。
Papers
共创安全的未来。
瑶池
JadePool，特色服务是金融密码机。
Seun Lanlege
Parity 的 Rust 核心开发者。
Anmol Network
跨链 NFT 工具包。
UniArts
基于 Substrate 开发的 NFT 创作、拍卖和发行的区块链网络。
达尔文网络
基于 Substrate 开发的跨链桥接网络，跨链生态的金门大桥。
KodaDot
Kusama 上的 NFT 浏览器，由社区驱动。
Alexandra Heller
在 Parity Technologies 负责传播。