Showing results for Tool Support for the Circus Refinement Calculus.
Search instead for Tool Support for the CircusRefinement Calculus.
Circus [1] specifications combine both data and behavioural aspects of con- current systems using a combination of CSP [3], Z [9], and Dijkstra's command.
Circus combine both data and behavioural aspects of concurrent systems using a combination of CSP, Z, and Dijkstra's command language.
In this paper, we present CRefine, a tool that can be used throughout the refinement of concurrent systems in a calculational approach. Its functionalities are ...
[PDF] CRefine: Tool Support for the Circus Refinement Calculus
projetos.dimap.ufrn.br › raw › article
Nevertheless, a tool support for Circus refinement calculus has only been prototyped. In this paper, we present CRefine, a tool that can be used throughout ...
Its associated refinement theory and calculus distinguishes itself from other such combinations. Using a refinement calculus, we can correctly construct ...
Circus combine both data and behavioural aspects of concurrent systems using a combination of CSP, Z, and Dijkstra's command language. Its associated re-.
Circus. – Chronometer Specification. • Refinement Calculus. – Usefulness of Refinement. – Refinement Law. – Proof. – Concrete Chronometer. • The Tool.
The manual application of the refinement calculus, however, is an error-prone and hard task. We present CRefine1 , a tool that supports the use of the Circus ...
Circus combine both data and behavioural aspects of concurrent systems using a combination of CSP, Z, and Dijkstra's command language.
CRefine is a tool that can be used throughout the refinement of concurrent ... CRefine: Support for the Circus Refinement Calculus. In 2008 Sixth IEEE ...