Runtime Verification 简介
Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
Runtime Verification 团队成员
Runtime Verification 投资方
Runtime Verification 相关信息
Berend-Jan Wever
英特尔的攻防安全研究员。
创宇存证
由知道创宇创建并维护。
FinalMessage
帮用户发生意外时传递他们的比特币。
DeFi Safety
针对 DeFi 应用、智能合约的质量与安全评级。
360区块链安全
信息安全企业。
Tenderly
基于以太坊 DApps 的智能合约监控、警报和故障排除。
ETHSecurity
组织社区，以提高以太坊安全性。
Smart Contract Security Alliance
智能合约安全联盟。
Magic Blockchain QA
针对区块链的测试服务。