Article thumbnail
Location of Repository

Analyzing the dynamics of a Z specification

By P. Ciancarini and C. Mascolo


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

Publisher: Springer Verlag
Year: 1996
DOI identifier: 10.1007/3-540-61697-7_13
OAI identifier:
Provided by: UCL Discovery
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.