# 模型检测
模型检测Spin
模型检测Spin工具，里面主主页有安装步骤
模型检测文档
模型检测模型检测可以参考的文档，很有用，与SPIN有关，利用SPIN进行模型检测
CTL模型检测
关于CTL模型检测，很好的入门，还有很多实例。
SMV模型检测
SMV 模型检测工具使用方法 使用cygwin在win32平台下模拟Unix，；1.从NuSMVhomepage下载压缩包NuS
Caffe面部检测模型
Caffe面部检测模型,包含res10_300x300_ssd_iter_140000.caffemodel,deploy.pr
行人检测训练模型
xml文件，为训练好的行人检测模型，可以用于opencv3.0
opencv人脸检测模型
opencv2中的各种人脸检测模型。以及opencv3中的新出的结合ＤＮＮ的人脸检测神经网络cafffe模型
模型检测Model Checking
模型检测ModelChecking
MTCNN人脸检测模型
MTCNN face detection model
模型检测技术简介
模型检测简介