Runtime Verification

Runtime Verification 旨在使用 runtime verification 技术,提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。 运行时验证 runtime verification 是一种动态软件分析方法,可在程序执行时对其进行分析、观察执行结果,并使用这些结果查找错误。 运行时验证 runtime verification 比传统的形式分析技术更轻量级,也不意味着取代传统的基于单元的、功能和集成测试,甚至是轻量级的静态分析工具。


扩展生态系统

超过70+生态系统正在积极增长,同样值得您的关注。