Supplementary Materials for a Case Study of Analysis Contracts with the ACTIVE tool

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工具的源代码，以及针对两个领域——线程调度与电池设计——分析合同案例的研究模型和数据。