基本信息
文件名称：科创验证器用户使用手册.pdf
文件大小：2.34 MB
总页数：50 页
更新时间：2025-12-26
总字数：约2.79万字
文档摘要
C程序形式化验证学习系统
用户使用手册
安徽中科国创高可信软件有限公司
Copyright?2020版权所有
USTCHCS
目录
1软件概述4
1.1软件介绍4
1.2背景介绍4
2一般操作步骤4
2.1系统结构4