Supplementary Materials for a Case Study of Analysis Contracts with the ACTIVE tool Ivan Ruchkin Dionisio De Niz Sagar Chaki David Garlan 10.1184/R1/7282187.v1 https://kilthub.cmu.edu/articles/dataset/Supplementary_Materials_for_a_Case_Study_of_Analysis_Contracts_with_the_ACTIVE_tool/7282187 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> 2018-11-16 21:33:35 cyber-physical systems analysis verification virtual integration real-time scheduling battery systems model checking thermal runaway analysis contracts