Back to Search
Start Over
Analyzing the dynamics of a Z specification
- Source :
- 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 (1996), Scopus-Elsevier, Design and Implementation of Symbolic Computation Systems ISBN: 9783540616979, DISCO
- Publication Year :
- 1996
- Publisher :
- Springer Verlag, 1996.
-
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.
Details
- Language :
- English
- ISBN :
- 978-3-540-61697-9
- ISBNs :
- 9783540616979
- Database :
- OpenAIRE
- Journal :
- 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 (1996), Scopus-Elsevier, Design and Implementation of Symbolic Computation Systems ISBN: 9783540616979, DISCO
- Accession number :
- edsair.doi.dedup.....9148f1d6d1a53257292422932d093469