Quantification of Correctness with Palladio and KeY: Case Study Data
收藏DataCite Commons2025-01-30 更新2025-04-16 收录
下载链接：
https://radar.kit.edu/radar/en/dataset/cmFeQWRJhSBqEsbQ
下载链接
链接失效反馈官方服务：
资源简介：
In our report, we described a case study where we evaluate our approach for correctness quantification using Palladio and KeY. Here, we publish the corresponding Palladio Component Model files as well as the generated source code, in order to make them publicly available.
提供机构：
Karlsruhe Institute of Technology
创建时间：
2023-06-21
