如何在 Uppaal 中将一些数据作为日志或一些统计信息写入文件？是否有任何fprintf功能或一些FILE*我们有C或没有的功能？从文件中读取同样的问题。
问问题
104 次
1 回答
0
Uppaal 模型中没有原生的输入输出函数。对于调试，您可以使用assert函数在条件不成立时停止验证。
自 4.1.4 版以来，Uppaal 集成了统计模型检查查询，用于估计建模过程的性能（请参阅 Uppaal SMC 教程）。收集的数据可以导出为 CSV。发行版中还verifyta包含命令行界面。
Uppaal Stratego 可以将用户定义的函数从外部动态链接库 (DLL) 加载到模型中（原则上可以自由地做任何事情），但它需要技术技能来准备这样的库，没有检查，因此不友好用于快速原型制作。此选项主要用于更快地执行非常复杂的代码。
于 2019-12-03T16:34:00.003 回答