文件名称:steam_0.2-1.tar
- 所属分类：
- Linux/Unix编程
- 资源属性：
- [C/C++] [Linux] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 1.35mb
- 下载次数：
- 0次
- 提 供 者：
- 赵*
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
用来检测C++程序的正确性，是一个非常有用的工具，确保代码正确-StEAM, (State Exploring Assembly Model Checker) is a model checker for native concurrent C++ programs. It extends a virtual machine- called ICVM- to perform model checking directly on the assembly level.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
17869310steam_0.2-1.tar