The refinement calculus of reactive systems toolset

Iulia Dragomir; Viorel Preoteasa; Stavros Tripakis

doi:10.1007/978-3-319-89963-3_12

The refinement calculus of reactive systems toolset

Iulia Dragomir^*, Viorel Preoteasa, Stavros Tripakis

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

5 Citations (Scopus)

227 Downloads (Pure)

Abstract

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.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings
Editors	Dirk Beyer, Marieke Huisman
Publisher	Springer
Pages	201-208
Number of pages	8
ISBN (Print)	9783319899626
DOIs	https://doi.org/10.1007/978-3-319-89963-3_12
Publication status	Published - 1 Jan 2018
MoE publication type	A4 Conference publication
Event	International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Thessaloniki, Greece Duration: 14 Apr 2018 → 20 Apr 2018

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10806 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Abbreviated title	TACAS
Country/Territory	Greece
City	Thessaloniki
Period	14/04/2018 → 20/04/2018

Access to Document

10.1007/978-3-319-89963-3_12Licence: CC BY

SCI_Dragomir2018_Chapter_TheRefinementCalculusOfReactivFinal published version, 528 KBLicence: CC BY

Cite this

Dragomir, I., Preoteasa, V., & Tripakis, S. (2018). The refinement calculus of reactive systems toolset. In D. Beyer, & M. Huisman (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings (pp. 201-208). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10806 LNCS). Springer. https://doi.org/10.1007/978-3-319-89963-3_12

Dragomir, Iulia ; Preoteasa, Viorel ; Tripakis, Stavros. / The refinement calculus of reactive systems toolset. Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. editor / Dirk Beyer ; Marieke Huisman. Springer, 2018. pp. 201-208 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{cb9bbed9cfcb43878005370db95c6935,

title = "The refinement calculus of reactive systems toolset",

abstract = "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.",

author = "Iulia Dragomir and Viorel Preoteasa and Stavros Tripakis",

note = "| openaire: EC/H2020/730080/EU//ESROCOS ; International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS ; Conference date: 14-04-2018 Through 20-04-2018",

year = "2018",

month = jan,

day = "1",

doi = "10.1007/978-3-319-89963-3_12",

language = "English",

isbn = "9783319899626",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "201--208",

editor = "Dirk Beyer and Marieke Huisman",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings",

address = "Germany",

}

Dragomir, I, Preoteasa, V & Tripakis, S 2018, The refinement calculus of reactive systems toolset. in D Beyer & M Huisman (eds), Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10806 LNCS, Springer, pp. 201-208, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 14/04/2018. https://doi.org/10.1007/978-3-319-89963-3_12

The refinement calculus of reactive systems toolset. / Dragomir, Iulia; Preoteasa, Viorel; Tripakis, Stavros.
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. ed. / Dirk Beyer; Marieke Huisman. Springer, 2018. p. 201-208 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10806 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - The refinement calculus of reactive systems toolset

AU - Dragomir, Iulia

AU - Preoteasa, Viorel

AU - Tripakis, Stavros

N1 - | openaire: EC/H2020/730080/EU//ESROCOS

PY - 2018/1/1

Y1 - 2018/1/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=85045842508&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-89963-3_12

DO - 10.1007/978-3-319-89963-3_12

M3 - Conference article in proceedings

AN - SCOPUS:85045842508

SN - 9783319899626

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 201

EP - 208

BT - Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings

A2 - Beyer, Dirk

A2 - Huisman, Marieke

PB - Springer

T2 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Y2 - 14 April 2018 through 20 April 2018

ER -

Dragomir I, Preoteasa V, Tripakis S. The refinement calculus of reactive systems toolset. In Beyer D, Huisman M, editors, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Springer. 2018. p. 201-208. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-89963-3_12

The refinement calculus of reactive systems toolset

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this