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

Name: Supplementary Materials for a Case Study of Analysis Contracts with the ACTIVE tool
Published: 2018-11-16T21:33:35+00:00
License: https://creativecommons.org/licenses/by/4.0/
Keywords: cyber-physical systems, analysis, verification, virtual integration, real-time scheduling, battery systems, model checking, thermal runaway, analysis contracts, Computer Software, Computer Engineering, Applied Computer Science, Software Engineering, Engineering Systems Design

dataset

posted on 2018-11-16, 21:33 authored by Ivan RuchkinIvan Ruchkin, Dionisio De NizDionisio De Niz, Sagar ChakiSagar Chaki, David GarlanDavid Garlan

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

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

Funding

DoD FA8721-05-C-0003

History

Date

Usage metrics

Categories

Keywords

Licence

Exports