加载中…
2017-10-23
The Refinement Calculus of Reactive Systems Toolset
Iulia DragomirViorel PreoteasaStavros 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, and Python.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本