文件名称：vscode-tlaplus:TLA +语言对Visual Studio Code的支持
文件大小：3.51MB
文件格式：ZIP
更新时间：2024-05-19 03:57:33
verification specification vscode-extension model-checking formal-methods
TLA + for Visual Studio代码 此扩展为VS Code添加了对支持。 它还支持在TLA +规范上运行TLC模型检查器。 特征 TLA +和PlusCal语法突出显示和代码段。 运行PlusCal-to-TLA +转换器和模块解析器。 在TLA +规范上运行TLC模型检查器。 模型检查过程和结果可视化。 评估常量表达式。 将TLA +规范转换为LaTeX和PDF文档。 代码完成。 代码按类型格式化。 由提供支持。 文献资料 提供有关如何安装，配置和使用扩展的信息。 故障排除 贡献 我们欢迎所有形式的捐助！ 随时提交错误，提出改进建议，提出问题，发送其他反馈。 如果您决定参与并编写一些代码，则本文档将为您提供有用的信息： CONTRIBUTING.md 。 TLA +资源 如果您不熟悉TLA + ，但想了解它，那么下面的资源清单是一个很好的起点：