【文件属性】：
文件名称：vscode-tlaplus:TLA +语言对Visual Studio Code的支持
文件大小：3.51MB
文件格式：ZIP
更新时间：2021-04-29 10:10:53
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 + ，但想了解它，那么下面的资源清单是一个很好的起点：