文件名称:steam_0.2-1.tar
-
所属分类:
- 标签属性:
- 上传时间:2012-11-16
-
文件大小: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.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
steam_0.2/
steam_0.2/CVS/
steam_0.2/CVS/Root
steam_0.2/CVS/Repository
steam_0.2/CVS/Entries
steam_0.2/CVS/Entries.Log
steam_0.2/docs/
steam_0.2/docs/CVS/
steam_0.2/docs/CVS/Root
steam_0.2/docs/CVS/Repository
steam_0.2/docs/CVS/Entries
steam_0.2/docs/sgml2all
steam_0.2/docs/README
steam_0.2/docs/steam.man
steam_0.2/docs/technical_reference.sgml
steam_0.2/docs/technical_reference_0.2.sgml
steam_0.2/docs/user_manual.sgml
steam_0.2/docs/user_manual_0.2.sgml
steam_0.2/docs/website_header
steam_0.2/src/
steam_0.2/src/CVS/
steam_0.2/src/CVS/Root
steam_0.2/src/CVS/Repository
steam_0.2/src/CVS/Entries
steam_0.2/src/Doxyfile
steam_0.2/src/INSTALL
steam_0.2/src/IVMThread.cc
steam_0.2/src/IVMThread.h
steam_0.2/src/IVMVerify.h
steam_0.2/src/Makefile
steam_0.2/src/PORTING
steam_0.2/src/README
steam_0.2/src/avltree.c
steam_0.2/src/avltree.h
steam_0.2/src/bfdstuff.h
steam_0.2/src/cache_AVLTree.cc
steam_0.2/src/cache_AVLTree.h
steam_0.2/src/cache_List.cc
steam_0.2/src/cache_List.h
steam_0.2/src/config.cc
steam_0.2/src/config.h
steam_0.2/src/cvm.h
steam_0.2/src/cvmdis.c
steam_0.2/src/ext_hd.cc
steam_0.2/src/ext_hd.h
steam_0.2/src/extcmdlines.cpp
steam_0.2/src/external.c
steam_0.2/src/external.h
steam_0.2/src/file.cc
steam_0.2/src/file.h
steam_0.2/src/fileio.h
steam_0.2/src/hash.c
steam_0.2/src/hash.h
steam_0.2/src/icvm.cc
steam_0.2/src/icvm_verify.c
steam_0.2/src/icvm_verify.h
steam_0.2/src/icvmerr.c
steam_0.2/src/icvmerr.h
steam_0.2/src/icvmfast.c
steam_0.2/src/icvmfile.c
steam_0.2/src/icvmid.c
steam_0.2/src/icvmjunk.h
steam_0.2/src/icvmload.h
steam_0.2/src/icvmload_native.h
steam_0.2/src/icvmnet.c
steam_0.2/src/icvmopengl.c
steam_0.2/src/icvmproc.c
steam_0.2/src/icvmstring.c
steam_0.2/src/icvmsup.c
steam_0.2/src/icvmsys.c
steam_0.2/src/icvmsys.h
steam_0.2/src/icvmtrash.h
steam_0.2/src/icvmvm.c
steam_0.2/src/icvmxsys.c
steam_0.2/src/id.h
steam_0.2/src/mfgen.c
steam_0.2/src/p_cache.cc
steam_0.2/src/p_cache.h
steam_0.2/src/pool.c
steam_0.2/src/pool.h
steam_0.2/src/proc.cc
steam_0.2/src/proc.h
steam_0.2/src/queue.c
steam_0.2/src/queue.h
steam_0.2/src/report.cc
steam_0.2/src/report.h
steam_0.2/src/states.cc
steam_0.2/src/states.hh
steam_0.2/src/steam-report.css
steam_0.2/src/steam-report.xsl
steam_0.2/src/steam.c
steam_0.2/src/sys.cc
steam_0.2/src/sys.h
steam_0.2/src/sysstruct.h
steam_0.2/src/thread.h
steam_0.2/CHANGELOG
steam_0.2/COPYRIGHT
steam_0.2/INSTALL
steam_0.2/README
steam_0.2/models/
steam_0.2/models/CVS/
steam_0.2/models/CVS/Root
steam_0.2/models/CVS/Repository
steam_0.2/models/CVS/Entries
steam_0.2/models/CVS/Entries.Log
steam_0.2/models/cashit/
steam_0.2/models/cashit/CVS/
steam_0.2/models/cashit/CVS/Root
steam_0.2/models/cashit/CVS/Repository
steam_0.2/models/cashit/CVS/Entries
steam_0.2/models/cashit/CI_Channel.cc
steam_0.2/models/cashit/CI_Channel.h
steam_0.2/models/cashit/CI_Controller.cc
steam_0.2/models/cashit/CI_Controller.h
steam_0.2/models/cashit/CI_DataBase.cc
steam_0.2/models/cashit/CI_DataBase.h
steam_0.2/models/cashit/CI_Dispenser.cc
steam_0.2/models/cashit/CI_Dispenser.h
steam_0.2/models/cashit/INSTALL
steam_0.2/models/cashit/cashit.c
steam_0.2/models/cashit/cashit.h
steam_0.2/models/.log
steam_0.2/models/glob/
steam_0.2/models/glob/CVS/
steam_0.2/models/glob/CVS/Root
steam_0.2/models/glob/CVS/Repository
steam_0.2/models/glob/CVS/Entries
steam_0.2/models/glob/MyThread.cc
steam_0.2/models/glob/INSTALL
steam_0.2/models/glob/MyThread.h
steam_0.2/models/glob/glob.c
steam_0.2/models/leader/
steam_0.2/models/leader/CVS/
steam_0.2/models/leader/CVS/Root
steam_0.2/models/leader/CVS/Repository
steam_0.2/models/leader/CVS/Entries
steam_0.2/models/leader/UCNode.cc
steam_0.2/models/leader/INSTALL
steam_0.2/models/leader/UCNode.h
steam_0.2/models/leader/leader.c
steam_0.2/models/npuzzle/
steam_0.2/models/npuzzle/CVS/
steam_0.2/models/npuzzle/CVS/Root
steam_0.2/models/npuzzle/CVS/Repository
steam_0.2/models/npuzzle/CVS/Entries
steam_0.2/models/npuzzle/Shifter.cc
steam_0.2/models/npuzzle/INSTALL
steam_0.2/models/npuzzle/Shifter.h
steam_0.2/models/npuzzle/npuzzle.c
steam_0.2/models/opttel/
steam_0.2/models/opttel/CVS/
steam_0.2/models/opttel/CVS/Root
steam_0.2/models/opttel/CVS/Repository
steam_0.2/models/opttel/CVS/Entries
steam_0.2/models/opttel/Opttel.cc
steam_0.2/models/opttel/INSTALL
steam_0.2/models/opttel/Opttel.h
steam_0.2/models/opttel/ltest.c
steam_0.2/models/opttel/opttel.c
steam_0.2/models/philosophers/
steam_0.2/models/philosophers/CVS/
steam_0.2/models/philosophers/CVS/Root
steam_0.2/models/philosophers/CVS/Repository
steam_0.2/models/philosophers/CVS/Entries
steam_0.2/models/philosophers/CVS/Entries.Log
steam_0.2/models/philosophers/deadlock/
steam_0.2/models/philosophers/deadlock/CVS/
steam_0.2/models/philosophers/deadlock/CVS/Root
steam_0.2/models/philosophers/deadlock/CVS/Repository
steam_0.2/models/philosophers/deadlock/CVS/Entries
steam_0.2/models/philosophers/deadlock/INSTALL
steam_0.2/models/philosophers/deadlock/Philosopher.h
steam_0.2/models/philosophers/deadlock/Philosopher_err.cc
steam_0.2/models/philosophers/deadlock/philosophers.c
steam_0.2/models/philosophers/.log
steam_0.2/models/philosophers/nodeadlock/
s
steam_0.2/CVS/
steam_0.2/CVS/Root
steam_0.2/CVS/Repository
steam_0.2/CVS/Entries
steam_0.2/CVS/Entries.Log
steam_0.2/docs/
steam_0.2/docs/CVS/
steam_0.2/docs/CVS/Root
steam_0.2/docs/CVS/Repository
steam_0.2/docs/CVS/Entries
steam_0.2/docs/sgml2all
steam_0.2/docs/README
steam_0.2/docs/steam.man
steam_0.2/docs/technical_reference.sgml
steam_0.2/docs/technical_reference_0.2.sgml
steam_0.2/docs/user_manual.sgml
steam_0.2/docs/user_manual_0.2.sgml
steam_0.2/docs/website_header
steam_0.2/src/
steam_0.2/src/CVS/
steam_0.2/src/CVS/Root
steam_0.2/src/CVS/Repository
steam_0.2/src/CVS/Entries
steam_0.2/src/Doxyfile
steam_0.2/src/INSTALL
steam_0.2/src/IVMThread.cc
steam_0.2/src/IVMThread.h
steam_0.2/src/IVMVerify.h
steam_0.2/src/Makefile
steam_0.2/src/PORTING
steam_0.2/src/README
steam_0.2/src/avltree.c
steam_0.2/src/avltree.h
steam_0.2/src/bfdstuff.h
steam_0.2/src/cache_AVLTree.cc
steam_0.2/src/cache_AVLTree.h
steam_0.2/src/cache_List.cc
steam_0.2/src/cache_List.h
steam_0.2/src/config.cc
steam_0.2/src/config.h
steam_0.2/src/cvm.h
steam_0.2/src/cvmdis.c
steam_0.2/src/ext_hd.cc
steam_0.2/src/ext_hd.h
steam_0.2/src/extcmdlines.cpp
steam_0.2/src/external.c
steam_0.2/src/external.h
steam_0.2/src/file.cc
steam_0.2/src/file.h
steam_0.2/src/fileio.h
steam_0.2/src/hash.c
steam_0.2/src/hash.h
steam_0.2/src/icvm.cc
steam_0.2/src/icvm_verify.c
steam_0.2/src/icvm_verify.h
steam_0.2/src/icvmerr.c
steam_0.2/src/icvmerr.h
steam_0.2/src/icvmfast.c
steam_0.2/src/icvmfile.c
steam_0.2/src/icvmid.c
steam_0.2/src/icvmjunk.h
steam_0.2/src/icvmload.h
steam_0.2/src/icvmload_native.h
steam_0.2/src/icvmnet.c
steam_0.2/src/icvmopengl.c
steam_0.2/src/icvmproc.c
steam_0.2/src/icvmstring.c
steam_0.2/src/icvmsup.c
steam_0.2/src/icvmsys.c
steam_0.2/src/icvmsys.h
steam_0.2/src/icvmtrash.h
steam_0.2/src/icvmvm.c
steam_0.2/src/icvmxsys.c
steam_0.2/src/id.h
steam_0.2/src/mfgen.c
steam_0.2/src/p_cache.cc
steam_0.2/src/p_cache.h
steam_0.2/src/pool.c
steam_0.2/src/pool.h
steam_0.2/src/proc.cc
steam_0.2/src/proc.h
steam_0.2/src/queue.c
steam_0.2/src/queue.h
steam_0.2/src/report.cc
steam_0.2/src/report.h
steam_0.2/src/states.cc
steam_0.2/src/states.hh
steam_0.2/src/steam-report.css
steam_0.2/src/steam-report.xsl
steam_0.2/src/steam.c
steam_0.2/src/sys.cc
steam_0.2/src/sys.h
steam_0.2/src/sysstruct.h
steam_0.2/src/thread.h
steam_0.2/CHANGELOG
steam_0.2/COPYRIGHT
steam_0.2/INSTALL
steam_0.2/README
steam_0.2/models/
steam_0.2/models/CVS/
steam_0.2/models/CVS/Root
steam_0.2/models/CVS/Repository
steam_0.2/models/CVS/Entries
steam_0.2/models/CVS/Entries.Log
steam_0.2/models/cashit/
steam_0.2/models/cashit/CVS/
steam_0.2/models/cashit/CVS/Root
steam_0.2/models/cashit/CVS/Repository
steam_0.2/models/cashit/CVS/Entries
steam_0.2/models/cashit/CI_Channel.cc
steam_0.2/models/cashit/CI_Channel.h
steam_0.2/models/cashit/CI_Controller.cc
steam_0.2/models/cashit/CI_Controller.h
steam_0.2/models/cashit/CI_DataBase.cc
steam_0.2/models/cashit/CI_DataBase.h
steam_0.2/models/cashit/CI_Dispenser.cc
steam_0.2/models/cashit/CI_Dispenser.h
steam_0.2/models/cashit/INSTALL
steam_0.2/models/cashit/cashit.c
steam_0.2/models/cashit/cashit.h
steam_0.2/models/.log
steam_0.2/models/glob/
steam_0.2/models/glob/CVS/
steam_0.2/models/glob/CVS/Root
steam_0.2/models/glob/CVS/Repository
steam_0.2/models/glob/CVS/Entries
steam_0.2/models/glob/MyThread.cc
steam_0.2/models/glob/INSTALL
steam_0.2/models/glob/MyThread.h
steam_0.2/models/glob/glob.c
steam_0.2/models/leader/
steam_0.2/models/leader/CVS/
steam_0.2/models/leader/CVS/Root
steam_0.2/models/leader/CVS/Repository
steam_0.2/models/leader/CVS/Entries
steam_0.2/models/leader/UCNode.cc
steam_0.2/models/leader/INSTALL
steam_0.2/models/leader/UCNode.h
steam_0.2/models/leader/leader.c
steam_0.2/models/npuzzle/
steam_0.2/models/npuzzle/CVS/
steam_0.2/models/npuzzle/CVS/Root
steam_0.2/models/npuzzle/CVS/Repository
steam_0.2/models/npuzzle/CVS/Entries
steam_0.2/models/npuzzle/Shifter.cc
steam_0.2/models/npuzzle/INSTALL
steam_0.2/models/npuzzle/Shifter.h
steam_0.2/models/npuzzle/npuzzle.c
steam_0.2/models/opttel/
steam_0.2/models/opttel/CVS/
steam_0.2/models/opttel/CVS/Root
steam_0.2/models/opttel/CVS/Repository
steam_0.2/models/opttel/CVS/Entries
steam_0.2/models/opttel/Opttel.cc
steam_0.2/models/opttel/INSTALL
steam_0.2/models/opttel/Opttel.h
steam_0.2/models/opttel/ltest.c
steam_0.2/models/opttel/opttel.c
steam_0.2/models/philosophers/
steam_0.2/models/philosophers/CVS/
steam_0.2/models/philosophers/CVS/Root
steam_0.2/models/philosophers/CVS/Repository
steam_0.2/models/philosophers/CVS/Entries
steam_0.2/models/philosophers/CVS/Entries.Log
steam_0.2/models/philosophers/deadlock/
steam_0.2/models/philosophers/deadlock/CVS/
steam_0.2/models/philosophers/deadlock/CVS/Root
steam_0.2/models/philosophers/deadlock/CVS/Repository
steam_0.2/models/philosophers/deadlock/CVS/Entries
steam_0.2/models/philosophers/deadlock/INSTALL
steam_0.2/models/philosophers/deadlock/Philosopher.h
steam_0.2/models/philosophers/deadlock/Philosopher_err.cc
steam_0.2/models/philosophers/deadlock/philosophers.c
steam_0.2/models/philosophers/.log
steam_0.2/models/philosophers/nodeadlock/
s
本网站为编程资源及源代码搜集、介绍的搜索网站,版权归原作者所有! 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.