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
![[thumbnail of 6.3_disco]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
6.3_disco Download (163kB) |
Abstract
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 |
Archive Staff Only
 |
View Item |
