GPoCheck 广义可能性模型检测器。
V0.4 1.对模型文件进行修改，从单模态升级到多模态。 需要大量更新。 根据对NuSMV的继续研究，它的多模态实际上还是单模态的设计，通过一层将多个模态整个为一个模态。
V0.3 1.为整体流程增加UI界面。 2.尝试进行数据结构的改进。(未完成）
V0.2 1.增加性质描述部分的编译器模块。 2.测试JDD代码部分。(未完成) 3.将模型和性质部分结合，走通整理流程。
V0.1 版本工作 1.整理了一个基本的检测器的demo，包括编译器和执行模块。 2.目前还十分简陋。 3.编译器只有构建模型部分，没有构建性质部分，目前性质为硬编码。 3.运行部分使用的自己写的SimpleMatrix来进行计算，没有使用OBDD，MTBDD部分。