UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Analyzing the dynamics of a Z specification

Ciancarini, P.; Mascolo, C.; (1996) Analyzing the dynamics of a Z specification. In: Calmet, J. and Limongelli, C., (eds.) Proceedings of International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO). (pp. pp. 138-149). Springer Verlag Green open access

[thumbnail of 6.3_disco] PDF

Download (163kB)


We present a method for analyzing the dynamics of a Z document describing a non-sequential system. First a formal operational semantics based on the chemical metaphor is given to Z. Then, some Unity-like temporal logic constructs are defined on such a formal operational semantics in order to allow the specification and analysis of dynamic and temporal properties of concurrent systems, such as safety and liveness properties.

Type: Proceedings paper
Title: Analyzing the dynamics of a Z specification
Open access status: An open access version is available from UCL Discovery
Language: English
URI: https://discovery.ucl.ac.uk/id/eprint/801
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item