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