Using Circus for critical industrial applications

Woodcock, Jim (2004) Using Circus for critical industrial applications. In: Electronic Notes in Theoretical Computer Science. Electronic Notes in Theoretical Computer Science, 95. Elsevier Science , Campina Grande, Brazil pp. 3-22. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1016/j.entcs.2004.04.003

Abstract

Circus is language that unifies Z, CSP, and the refinement calculus, and we describe its application in the development of safety-critical systems. We show the descriptive power of Image with a fragment of the formalisation of the steam boiler problem. We then use Image 's refinement calculus to bridge a semantic gap in development, where we eliminate a kind of abstract event.

Item Type: Conference or workshop item (Paper)
Additional information: Keynote speech: the Formal Methods Europe Lecture
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:01
Last Modified: 14 Apr 2014 10:52
Resource URI: http://kar.kent.ac.uk/id/eprint/14034 (The current URI for this page, for reference purposes)
  • Depositors only (login required):