Runtime Verification 简介
Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
Runtime Verification 团队成员
Runtime Verification 投资方
Runtime Verification 相关信息
The Arcadia Group
以加密为中心的开发机构，行业开拓者。
Smriti Verma
OpenZeppelin 区块链安全研究员。
Eduard Kotysh
Solidified 创始人兼首席执行官。
Code 423n4
实验性智能合约审计开放组织。
Path Network
专注于全网络安全节点的监控。
Cyberstarts
专注于网络安全。
Umar Salim
Visa 网络安全软件开发工程师。
NorthSec
一年一度的应用安全竞赛。
Symbolic Software
专注于对应用加密系统进行现代洞察。