搜索资源 - PPTLCheck:为了展示单机多核并行运行时验证工具PPTLCheck验证大规模程序的能力，我们将PPTLCheck用于验证10个代码规模为1300行至33000行的工业级程序，每个文件中包含了安全性，活性，弱公平性和周期重复性本质性质和MSVL源程序-源码

搜索资源列表

PPTLCheck:为了展示单机多核并行运行时验证工具PPTLCheck验证大规模程序的能力，我们将PPTLCheck用于验证10个代码规模为1300行至33000行的工业级程序，每个文件中包含了安全性，活性，弱公平性和周期重复性本质性质和
PPTLCheck:为了展示单机多核并行运行时验证工具PPTLCheck验证大规模程序的能力，我们将PPTLCheck用于验证10个代码规模为1300行至33000行的工业级程序，每个文件中包含了安全性，活性，弱公平性和周期重复性本质性质和MSVL源程序
所属分类：其它
- 发布日期：2021-03-24
- 文件大小：277504
- 提供者：weixin_42178963