【发布时间】：2020-06-29 09:27:06
【问题描述】：
我是 Dymola 的新手，但您知道 Dymola 中是否存在证明求解器。我正在 Simulink 中寻找像 SLDV 这样的求解器。 SLDV 用于识别模型中隐藏的设计错误。它可以形式上验证设计是否满足功能要求。对于每个设计错误或违反要求，它都会生成一个用于调试的仿真测试用例。 SLDV 还为模型覆盖和自定义目标生成测试用例，以扩展现有的基于需求的测试用例。
感谢您的回答，
埃洛伊丝
【问题讨论】：
-
这与编程或一般软件问题有关吗？您可能想改用 superuser.com。
-
这指的是诸如 Modelica 语言的形式验证或测试生成/运行工具之类的东西，所以我认为这里的范围很广，考虑到 [formal-verification] 或 [pytest] 之类的东西是现有标签在这里。
标签： solver modelica dymola openmodelica