Mops 模型检测工具 用来对C程序进行检测,model checking c programs

NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。,NuSMV-2.4.3 a model checking tool

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

用来检测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.