Project Description
视频资料
Prover Studio演示
快速浏览我们的集成开发环境
本视频简短介绍了 Prover Studio，这是一个用于形式化规范的集成开发环境。 凭借着对 HLL、LCF 和 PiSPEC 语言的支持，它可以帮助您以更高效的方式管理复杂的规范，并跟踪您的所有文件和要求。 当与 Prover iLock 一起使用时，它为您提供了一个敏捷且由测试驱动的过程，用于开发和维护通用应用程序。
本演示将向您展示 Prover Studio 的一些亮点，例如：
- 语法高亮显示
- 识别语法和语义错误
- 具备“转到定义”和“查找参考”的快速导航