Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。
运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。
运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
Runtime Verification是什么币
提升软件系统的安全性、可靠性和正确性。
更新时间：2021-07-15 20:07:14
Runtime Verification
Runtime Verification官网：https://runtimeverification.com/
Runtime Verification币行情消息
Runtime Verification完成530万美元融资
Elrond Dev Toolkit开发商Runtime Verification完成530万美元融资，IOSG Ventures领投，Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research和Tezos Foundation参投。募集的资金将用于加速工具的开发，旨在提高不同区块链和嵌入式系统的安全性、可靠性和正确性。
币种资料