Location:
Search - model checking
Search list
Description: Programs in the irregular grid design package described in this manual are used to carry out five main functions:
verification and adjustment of coastline and bathymetric data
preparation of an irregular triangular depth grid covering the domain to be modelled
production of a preliminary irregular triangular model grid with nodes suitably positioned for accurate and efficient numerical modelling
interactive checking and editing, including trimming and joining, of model grid
display and plotting of model output.
Platform: |
Size: 944128 |
Author: baobo |
Hits:
Description: 本书详细介绍了模型检测的基本原理，分析了模型检测在各个行业的应用，重点分析了模型检测各种算法，是有关模型检测方面不可多得百科全书式的经典资料。-The book details the basic principles of model checking, analysis of model checking applications in various industries, focusing on analysis of the model checking algorithms is the model of testing rare classic encyclopedic information.
Platform: |
Size: 919552 |
Author: Turing |
Hits:
Description: 这是关于模型检测方面的经典入门书，介绍了模型检测产生的背景，发展过程，看完此书，肯定对模型检测有比较深刻的认识。-This is the model testing on the classic primer on the model checking the background, development process, after reading this book, certainly compared to the model checking has a deep understanding.
Platform: |
Size: 220160 |
Author: Turing |
Hits:
Description: 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 VideoMan is very easy and fast to initialize any kind of video input like webcams, video files, frame grabbers, IEEE 1394 cameras and so on. You can initialize multiple inputs at the same time and show them in the screen. Also, you can show the results of the processing steps of your computer vision algorithm (extracted edges, back projections, detected blobs...) This way you can see the results of what are you coding, checking the results of your algorithm steps. Moreover, the implemented visualization scheme make easier to combine computer graphics with video, for example to show a 3d model on top of video for augmented reality applications.-With VideoMan is very easy and fast to initialize any kind of video input like webcams, video files, frame grabbers, IEEE 1394 cameras and so on. You can initialize multiple inputs at the same time and show them in the screen. Also, you can show the results of the processing steps of your computer vision algorithm (extracted edges, back projections, detected blobs...) This way you can see the results of what are you coding, checking the results of your algorithm steps. Moreover, the implemented visualization scheme make easier to combine computer graphics with video, for example to show a 3d model on top of video for augmented reality applications.
Platform: |
Size: 207872 |
Author: Mzong |
Hits:
Description: Mops 模型检测工具 用来对C程序进行检测-model checking c programs
Platform: |
Size: 613376 |
Author: gavin |
Hits:
Description: NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。-NuSMV-2.4.3 a model checking tool
Platform: |
Size: 3321856 |
Author: gavin |
Hits:
Description: 用来检测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.
Platform: |
Size: 1413120 |
Author: 赵钱 |
Hits:
Description: Symbolic Model Checking
Platform: |
Size: 394240 |
Author: Hani |
Hits:
Description: VS.NET插件 可以定义模式检查代码 演示了如何开发addin-VS.NET plug-in can define the model checking code demonstrates how to develop addin
Platform: |
Size: 135168 |
Author: ackel |
Hits:
Description: 为了提高性能，Java内存模型允许编译器在优化过程中改变代码的执行顺序，同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中，这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此，本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型，并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题，更好地检测高可靠性要求的Java并发程序。[-Model Checking the Concurrent Programs Based on the Java Memory Model
Platform: |
Size: 394240 |
Author: co |
Hits:
Description: 这是模型检测的一个最新版本，希望对大家有所帮助。-This is one of the latest version of model checking, we want to help.
Platform: |
Size: 3792896 |
Author: li |
Hits:
Description: 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
techniques (model checking and equivalence checking) and simulation-based
techniques (coverage metrics and test generation). You get insights into practical
issues including hardware verification languages (HVLs) and system-level debugging.
The foundations of formal and simulation-based techniques are covered too, as are
more recent research advances including transaction-level modeling and assertionbased
verification, plus the theoretical underpinnings of verification, including the use
of decision diagrams and Boolean satisfiability (SAT).
Platform: |
Size: 1996800 |
Author: sami tarja |
Hits:
Description: model checking经典书籍 适合新手学习，非常深入浅出，强烈推荐！计算机学习必备-model checking the classical books for beginners to learn, very easy to understand, highly recommended! Computer learning essential
Platform: |
Size: 1875968 |
Author: 王炎 |
Hits:
Description: 用HMM模型检测表格的程序包，里面有完整的程序。-Form with the HMM model checking package, which has a complete program.
Platform: |
Size: 622592 |
Author: zhaobingjie |
Hits:
Description: 至今最全的Copula函数计算程序，包含参数估计、模型检验、随机模拟等-Copula function has the most complete computer program, including parameter estimation, model checking, stochastic simulation, etc.
Platform: |
Size: 145408 |
Author: 闫宝伟 |
Hits:
Description: a set of model checking tutorial
Platform: |
Size: 4072448 |
Author: orange |
Hits:
Description: 优化基于模型检验的测试生成Optimal test generation based on model checking-Optimal test generation based on model checking
Platform: |
Size: 227328 |
Author: mc |
Hits:
Description: 灰色预测模型的EXCEL案例！Microsoft Office Excel可按公式法、解矩阵法、回归法等求解灰参数,可大大减轻求解灰参数的工作
量,从而简捷地建立GM(1,1)模型
-Application of Excel in prediction and
model checking of dynamic GM(1,1)
Platform: |
Size: 18432 |
Author: jackhu |
Hits:
Description: 建模测试，在PRISM中实现先占先得的调度算法来检验所见模的逻辑正确性-model checking
Platform: |
Size: 1024 |
Author: robin |
Hits:
Description: Security analysis and verification by model checking tools
Platform: |
Size: 86016 |
Author: Jal |
Hits: