The Refinement Calculus of Reactive Systems Toolset

Iulia Dragomir,Viorel Preoteasa,Stavros Tripakis

The Refinement Calculus of Reactive Systems Toolset

2017

Iulia Dragomir
Viorel Preoteasa
Stavros Tripakis

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.

Keywords:

Algorithm
Refinement calculus
Programming language
Reactive system
Mathematics
Python (programming language)

Correction
Cite
Save
Machine Reading By IdeaReader

References

Citations