Project Description

视频资料

Prover Studio演示

快速浏览我们的集成开发环境

本视频简短介绍了 Prover Studio,这是一个用于形式化规范的集成开发环境。 凭借着对 HLL、LCF 和 PiSPEC 语言的支持,它可以帮助您以更高效的方式管理复杂的规范,并跟踪您的所有文件和要求。 当与 Prover iLock 一起使用时,它为您提供了一个敏捷且由测试驱动的过程,用于开发和维护通用应用程序。

本演示将向您展示 Prover Studio 的一些亮点,例如:

  • 语法高亮显示
  • 识别语法和语义错误
  • 具备“转到定义”和“查找参考”的快速导航

请填写右侧表格,观看演示视频。