The Refinement Calculus of Reactive Systems Toolset

October 23, 2017 · The Ethereal · 🏛 International Journal on Software Tools for Technology Transfer (STTT)

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis arXiv ID 1710.08195 Category cs.LO: Logic in CS Cross-listed cs.SE Citations 21 Venue International Journal on Software Tools for Technology Transfer (STTT) Last Checked 2 months ago
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.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS