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.<div><br></div><div><br><br></div>