20140501_AnContrACTIVEstudy_ModelsCodeData_Ruchkin_v1-0.zip (44.27 MB)
Download fileSupplementary Materials for a Case Study of Analysis Contracts with the ACTIVE tool
dataset
posted on 2018-11-16, 21:33 authored by Ivan RuchkinIvan Ruchkin, Dionisio De NizDionisio De Niz, Sagar ChakiSagar Chaki, David GarlanDavid GarlanThis 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.