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 条
  • [1] The Refinement Calculus of Reactive Systems Toolset
    Iulia Dragomir
    Viorel Preoteasa
    Stavros Tripakis
    International Journal on Software Tools for Technology Transfer, 2020, 22 : 689 - 708
  • [2] The Refinement Calculus of Reactive Systems Toolset
    Dragomir, Iulia
    Preoteasa, Viorel
    Tripakis, Stavros
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (06) : 689 - 708
  • [3] The refinement calculus of reactive systems
    Preoteasa, Viorel
    Dragomir, Iulia
    Tripakis, Stavros
    INFORMATION AND COMPUTATION, 2022, 285
  • [4] Refinement Calculus of Reactive Systems
    Preoteasa, Viorel
    Tripakis, Stavros
    2014 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2014,
  • [5] A Refinement Calculus for Hybrid Systems
    Gu, Bin
    Zou, Liang
    2014 19TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2014), 2014, : 176 - 185
  • [6] Towards a refinement calculus for object systems
    He, JF
    Liu, ZM
    Li, XS
    FIRST IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, PROCEEDINGS, 2002, : 69 - 76
  • [7] rCOS: A refinement calculus of object systems
    He Jifeng
    Li, Xiaoshan
    Liu, Zhiming
    THEORETICAL COMPUTER SCIENCE, 2006, 365 (1-2) : 109 - 142
  • [8] REFINEMENT CALCULUS .2. PARALLEL AND REACTIVE PROGRAMS
    BACK, RJR
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 67 - 93
  • [9] INTERFACE REFINEMENT IN REACTIVE SYSTEMS
    GERTH, R
    KUIPER, R
    SEGERS, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 77 - 93
  • [10] THE REFINEMENT CALCULUS
    WOODCOCK, JCP
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 552 : 80 - 95
12345