智能制造软件形式化验证和性能优化技术与工具数据集
收藏国家基础学科公共科学数据中心2024-03-05 收录
下载链接：
https://www.nbsdc.cn/general/dataDetail?id=64edc5aebb16e07753c33d80&type=1
下载链接
链接失效反馈官方服务：
资源简介：
智能制造软件形式化验证和性能优化技术与工具数据集主要面向智能制造软件形式化验证和性能优化研究，为了对开发的工具进行有效和准确的评估，本数据集收集来自于论文、竞赛中使用的数据，主要记录了对工具的基础测试用例以及和指标相关的测试场景，数据量348KB。
This dataset is dedicated to research on formal verification and performance optimization of intelligent manufacturing software, focusing on technologies and tools for this domain. To conduct effective and accurate evaluation of the developed tools, it collects data used in academic papers and competitions, mainly documenting basic test cases for the tools and test scenarios related to performance indicators, with a total data size of 348 KB.
提供机构：
南京大学
