search menu icon-carat-right cmu-wordmark
Carnegie Mellon University

Software Engineering Institute

  1. SEI
  2. Publications
  3. Digital Library
  4. Supplementary Materials for a Case Study of Analysis Contracts with the ACTIVE tool

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

November 2018 • Software

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.

Publisher:

Software Engineering Institute
DOI (Digital Object Identifier):
10.1184/R1/7282187.v1

Abstract

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.