6 citations · 7 across the 7 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017
The Refinement Calculus of Reactive Systems Toolset
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
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,…
cs.LO2017
The Refinement Calculus of Reactive Systems
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
The Refinement Calculus of Reactive Systems (RCRS) is a compositional formal framework for modeling and reasoning about reactive systems. RCRS provides a language which allows to d…