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.
Cite
@article{arxiv.1710.08195,
title = {The Refinement Calculus of Reactive Systems Toolset},
author = {Iulia Dragomir and Viorel Preoteasa and Stavros Tripakis},
journal= {arXiv preprint arXiv:1710.08195},
year = {2018}
}