Circus is a formal language that combines Z and CSP, providing support for specification of both data and behavioural aspects of concurrent systems.

Abstract. Circus is a formal language that combines Z and CSP, pro- viding support for specification of both data and behavioural aspects.

In this paper, we present an extension to CRefine: a new module that automates the process of defining and applying refinement tactics formalised in the tactic ...

An extension to CRefine is presented: a new module that automates the process of defining and applying refinement tactics formalised in the tactic language ...

#implementation · #refinement · Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.

Implementing Tactics of Refinement in CRefine. https://doi.org/10.1007/978-3 ... Applying the Refinement Calculus to State-Rich Refinement Model Checking.

lows the definition and use of refinement tactics in a program development as a single transformation rule. CRefine tactics are defined using a refinement- ...

May 9, 2018 · Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira: Implementing Tactics of Refinement in CRefine. SEFM 2012: 342-351.

... Implementing Tactics of Refinement in CRefine 343 developments. CRefine [12]1 was developed to support the application of the Circus refinement calculus. It ...

Dec 4, 2020 · My basic workflow starts with MC2 aligned movies, Patch CTF estimation, iterative 2D/3D classification and finally NU refinement (per-particle scaling).