mlsanityData to 14 Oct 2026

The Refinement Calculus of Reactive Systems Toolset

arXiv 1710.08195 ↗First posted 23 Oct 2017cs.LO cs.SEcited by 2

Not on the map. Why?

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.

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

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2024: 1; 2025: 0; 2026: 1.

2 papers.

  1. 2024Towards Large Language Model Aided Program Refinementcited by 2
  2. 2026Interpretable and Verifiable Hardware Generation with LLM-Driven Stepwise Refinementcited by 0