打开主菜单
早鸟科技-区块链百科|数字货币大全
β
搜索
查看“Runtime Verification”的源代码
←
Runtime Verification
因为以下原因，您没有权限编辑本页：
您所请求的操作仅限于该用户组的用户使用：
用户
您可以查看与复制此页面的源代码。
网站 https://runtimeverification.com ==简介== Runtime Verification 旨在使用 runtime verification 技术，提升[[区块链]]软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。 运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。 运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。 [[category:创业项目]]
返回至
Runtime Verification
。