Supplementary Materials for a Case Study of Analysis Contracts with the ACTIVE tool
收藏DataCite Commons2020-08-28 更新2025-04-16 收录
下载链接：
https://kilthub.cmu.edu/articles/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.<br><br><br>
提供机构：
Carnegie Mellon University
创建时间：
2018-11-16
