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 条
  • [31] Embedding the refinement calculus in Coq
    Alpuim, Joao
    Swierstra, Wouter
    SCIENCE OF COMPUTER PROGRAMMING, 2018, 164 : 37 - 48
  • [32] A Toolset for Mobile Systems Testing
    Andre, Pierre
    Riviere, Nicolas
    Waeselynck, Helene
    VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2017, 2017, 10466 : 124 - 138
  • [33] TRANSFORMATIONAL VS REACTIVE REFINEMENT IN REAL-TIME SYSTEMS
    ATKINSON, S
    SCHOLEFIELD, D
    INFORMATION PROCESSING LETTERS, 1995, 55 (04) : 201 - 210
  • [34] Refining reactive systems using the refinement calculator (Extended abstract)
    Långbacka, T
    FORMAL METHODS PACIFIC '97, 1997, : 307 - 308
  • [35] Leveraging Iterative Plan Refinement for Reactive Smart Manufacturing Systems
    Wally, Bernhard
    Vyskocil, Jiri
    Novak, Petr
    Huemer, Christian
    Sindelar, Radek
    Kadera, Petr
    Mazak-Huemer, Alexandra
    Wimmer, Manuel
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2021, 18 (01) : 230 - 243
  • [36] Refinement calculus with program window inference
    Wang, Yunfeng, 2000, Chinese Acad Sci, China (11):
  • [37] Fusion and simultaneous execution in the refinement calculus
    Ralph-Johan Back
    Michael Butler
    Acta Informatica, 1998, 35 : 921 - 949
  • [38] Fusion and simultaneous execution in the refinement calculus
    Back, RJ
    Butler, M
    ACTA INFORMATICA, 1998, 35 (11) : 921 - 949
  • [39] Local abstraction-refinement for the μ-calculus
    Fecher H.
    Shoham S.
    International Journal on Software Tools for Technology Transfer, 2011, 13 (04) : 289 - 306
  • [40] CRefine: Support for the Circus Refinement Calculus
    Oliveira, M. V. M.
    Gurgel, A. C.
    Castro, C. G.
    SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 281 - 290
12345