The Refinement Calculus of Reactive Systems Toolset

被引：3
|
作者：
Dragomir, Iulia [1 ]
Preoteasa, Viorel [2 ]
Tripakis, Stavros [2 ,3 ]
机构：
[1] Univ Grenoble Alpes, CNRS, Grenoble INP, VERIMAG, Grenoble, France
[2] Aalto Univ, Espoo, Finland
[3] Univ Calif Berkeley, Berkeley, CA 94720 USA
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II | 2018年 / 10806卷
基金：
欧盟地平线“2020”; 美国国家科学基金会; 芬兰科学院;
关键词：
D O I：
10.1007/978-3-319-89963-3_12
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present the Refinement Calculus of Reactive Systems Toolset, an environment for compositional modeling and reasoning about reactive systems, built on top of Isabelle, Simulink, and Python.
引用
收藏
页码：201 / 208
页数：8
相关论文
共 50 条
12345