The Refinement Calculus of Reactive Systems Toolset
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
TL;DR
This paper introduces a toolset for modeling and reasoning about reactive systems using a compositional approach, integrating Isabelle, Simulink, and Python for enhanced verification capabilities.
Contribution
It presents a novel environment that combines formal refinement calculus with practical modeling tools for reactive systems.
Findings
Supports compositional reasoning about reactive systems
Integrates formal methods with simulation tools
Enhances verification and validation processes
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBusiness Process Modeling and Analysis · Scientific Computing and Data Management · Software Reliability and Analysis Research