The Refinement Calculus of Reactive Systems Toolset

10/23/2017

∙

by   Iulia Dragomir, et al.

∙

0

∙

share

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.