用于符号模型检测,可实现多种断言语言描述的系统规范的验证,很好的软件属性形式化验证工具。

pdf2word便于文件格式之间的转换，方便提取pdf文件信息。