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 proceedingConference contributionScientificpeer-review

3 Citations (Scopus)
143 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 languageEnglish
Title of host publicationTools 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
EditorsDirk Beyer, Marieke Huisman
Pages201-208
Number of pages8
DOIs
Publication statusPublished - 1 Jan 2018
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems - Thessaloniki, Greece
Duration: 14 Apr 201820 Apr 2018

Publication series

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

Conference

ConferenceInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
Abbreviated titleTACAS
CountryGreece
CityThessaloniki
Period14/04/201820/04/2018

Fingerprint Dive into the research topics of 'The refinement calculus of reactive systems toolset'. Together they form a unique fingerprint.

Cite this