The Refinement Calculus of Reactive Systems Toolset
classification
💻 cs.LO
cs.SE
keywords
reactivesystemscalculusrefinementtoolsetbuiltcompositionalenvironment
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.