搜索资源列表
mops-0.9.1.tar.gz
- Mops 模型检测工具 用来对C程序进行检测,model checking c programs
arma2
- 可用于时间序列分析，包括模式判别，模型检验-For time series analysis, including model identification, model checking
NuSMV-2.4.3.tar.gz
- NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。,NuSMV-2.4.3 a model checking tool
Matlab-for-Copula
- 至今最全的Copula函数计算程序，包含参数估计、模型检验、随机模拟等-Copula function has the most complete computer program, including parameter estimation, model checking, stochastic simulation, etc.
GlVideoManager
- VideoMan (Video Manager) is an open-source C++ library that helps you developing video based applications. We created VideoMan to increase our productivity developing computer vision applications, but it can be used in many other ways. With Vid
steam_0.2-1.tar
- 用来检测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.
Symbolic_Model_Checking_floc06
- Symbolic Model Checking
sampleproject
- VS.NET插件 可以定义模式检查代码 演示了如何开发addin-VS.NET plug-in can define the model checking code demonstrates how to develop addin
NuSMV-2.5.1.tar
- 这是模型检测的一个最新版本，希望对大家有所帮助。-This is one of the latest version of model checking, we want to help.
practical_design_verification
- Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors explain both formal tec
model-checking
- a set of model checking tutorial
435
- 优化基于模型检验的测试生成Optimal test generation based on model checking-Optimal test generation based on model checking
GM
- 灰色预测模型的EXCEL案例！Microsoft Office Excel可按公式法、解矩阵法、回归法等求解灰参数,可大大减轻求解灰参数的工作 量,从而简捷地建立GM(1,1)模型 -Application of Excel in prediction and model checking of dynamic GM(1,1)
lottery1
- 建模测试，在PRISM中实现先占先得的调度算法来检验所见模的逻辑正确性-model checking
Economics-of-Software-Verification
- How can we determine the added value of software verification techniques over the more readily available conventional testing techniques? Formal verification techniques introduce both added costs and potential benefits. Can we show objectively
HTTP-TUNNEL-DETECTING-TECHNIQUE
- 研究了恶意软件常采用的通信方式———隧道技术，并提出了一种基于Ｃ４．５的ＨＴＴＰ 隧道检测算法。该算法采用决策支持树算法 Ｃ４．５提取网络流特征字段，根据特征字段生成训练数据建立ＨＴＴＰ隧道分类的决策树检测模型，采用该分类模型检测ＨＴＴＰ隧道流，为检测恶意软件提供依据。-Malicious software often used means of communication--- tunneling technology, and a HTTP based on C4.5 Tunne
Chsrara
- 基于摄像头的人脸肤色模型检测测，采用HSV空间。 -Camera-based skin color model checking measured using the HSV color space.
2.-Model-Checking-more-in-depth
- Security analysis and verification by model checking tools
3.-Case-Study-1---Web-Security
- Security analysis and verification by model checking tools
4.-Case-Study-2---MOPS
- Security analysis and verification by model checking tools