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
Creator: Carnegie Mellon University
Published: 2018-11-16T21:33:48+08:00

DataCite Commons2020-08-28 更新2025-04-16 收录

形式化验证

能源系统

数据链接：

https://kilthub.cmu.edu/articles/Supplementary_Materials_for_a_Case_Study_of_Analysis_Contracts_with_the_ACTIVE_tool/7282187/1 数据链接链接失效反馈

官方服务：

资源简介：

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.<br><br><br>

提供机构：

Carnegie Mellon University

创建时间：

2018-11-16

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

资源简介：

相关数据集