3位创始人Jun、Yang和Jin Song因开发PAT验证系统而荣获20年ICFEM最具影响力系统奖。该奖项由[…]颁发
普遍模型检查
使用PAT构建您自己的模型检查器
PAT组6名博士生于2015年成功毕业于新加坡国立大学。祝贺白广东博士、桂林博士、刘硕博士、刘燕博士、阮长康博士[…]
我们已经发布了PAT版本3.5.1的一些小修复和升级。可以从下载页面下载。
我怎么知道我的模型是正确的？答案：完成模型后，可以单击检查语法按钮检查模型的语法。如果模型的语法正确，PAT将在底部的输出窗口中显示解析的模型。您可以检查已解析的模型，以确认您的模型是您想要的模型。注：有时，缺少括号或简单的输入错误会产生不同的模型。
PAT中的所有模块解析器都支持错误恢复，例如，它们可以自动添加缺少的括号或删除多余的括号或分号。然而，所有错误恢复信息都将在“错误列表”窗口中显示为警告。如果解析后出现警告，则需要小心，因为错误恢复功能可能会将模型解析为与您想要的不同的模型。我们建议您在进行任何分析之前清除所有警告。
感谢日本国家信息学研究所的田口贤治教授。PAT现在有了第一个用户组（在日本）。任何有兴趣加入或组建用户组的人，请不要犹豫关于我们。
