figshare
Browse
20140501_AnContrACTIVEstudy_ModelsCodeData_Ruchkin_v1-0.zip (44.27 MB)

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

Download (44.27 MB)
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.



Funding

DoD FA8721-05-C-0003

History

Date

2014-10-14