The refinement calculus of reactive systems toolset

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

  • CNRS/IN2P3
  • University of California at Berkeley

Kuvaus

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.

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoTools 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
ToimittajatDirk Beyer, Marieke Huisman
TilaJulkaistu - 1 tammikuuta 2018
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems - Thessaloniki, Kreikka
Kesto: 14 huhtikuuta 201820 huhtikuuta 2018

Julkaisusarja

NimiLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vuosikerta10806 LNCS
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349

Conference

ConferenceInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
LyhennettäTACAS
MaaKreikka
KaupunkiThessaloniki
Ajanjakso14/04/201820/04/2018

Lataa tilasto

Ei tietoja saatavilla

ID: 30058674