The Refinement Calculus of Reactive Systems Toolset
arXiv:1710.08195
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.