Supplementary Materials for a Case Study of Analysis Contracts with the ACTIVE tool
• Dataset
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.
Publisher
Software Engineering Institute