Supplementary Materials for a Case Study of Analysis Contracts with the ACTIVE tool
收藏kilthub.cmu.edu2023-05-30 更新2025-03-25 收录
下载链接：
https://kilthub.cmu.edu/articles/dataset/Supplementary_Materials_for_a_Case_Study_of_Analysis_Contracts_with_the_ACTIVE_tool/7282187/1
下载链接
链接失效反馈官方服务：
资源简介：
This archive contains the source code of the ACTIVE tool, and models/data from a case study of analysis contracts in two domains: thread scheduling, and battery design.
本存档收录了ACTIVE工具的源代码，以及针对两个领域——线程调度与电池设计——分析合同案例的研究模型和数据。
提供机构：
kilthub.cmu.edu
