# The Refinement Calculus of Reactive Systems Toolset

arXiv: https://arxiv.org/abs/1710.08195 · HTML: https://mlsanity.com/paper/1710.08195/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 23 Oct 2017.

## Built on by (most cited first, 2 of 2)

- [Towards Large Language Model Aided Program Refinement](https://mlsanity.com/paper/2406.18616/) (2024)
- [Interpretable and Verifiable Hardware Generation with LLM-Driven Stepwise Refinement](https://mlsanity.com/paper/2606.19387/) (2026)

## Abstract (arXiv)

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.