我们为您准备一份快速上手指南，只需简单阅读便可了解本平台的大概使用方式， 同时还为您提供了能够在线阅读的安全C使用手册和程序验证样例 • 安全C语言使用手册 • 安全C规范语言使用手册 • 安全C语言程序验证样例
用户可以通过科创验证器学习平台载入下载的程序样例，体验程序验证的乐趣
• 安全C语言使用手册 • 安全C规范语言使用手册 • 科创验证器学习版用户使用手册
• SMT约束求解器 Z3 介绍 • SMT-LIB