The Refinement Calculus of Reactive Systems Toolset

This provides a tool for researchers and engineers working on reactive systems, but it appears incremental as it builds on existing frameworks.

The authors tackled the problem of modeling and reasoning about reactive systems by developing a toolset that integrates Isabelle, Simulink, and Python, resulting in a compositional environment for this purpose.