请问有谁用过iar visualSTATE这个软件来开发吗？

只看该作者 · 2012-2-15 16:54

我正在初学这个软件，但出现了一些问题：
在visualSTATE Designer 中画好了状态图，
但在接下来的visualSTATE Verificator动态规范性验证中，出现了：
Verification result log for System 'Car_System' :
Verification result log for all steps:
Fatal Error: Could not load system 'Car_System'
Verification stopped

不知道是什么问题。。我上传原文件，求帮助。