Formal analysis in model management: exploiting the power of CZT

Authors:
James R. Williams;Fiona A. C. Polack;Richard F. Paige
Affiliations:
Department of Computer Science, University of York, UK;Department of Computer Science, University of York, UK;Department of Computer Science, University of York, UK
Venue:
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Year:
2010

Citing 2
Cited 1

ZML: XML support for standard Z

ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Automated Formalisation for Verification of Diagrammatic Models

Electronic Notes in Theoretical Computer Science (ENTCS)

A retrospective on CZT

Software—Practice & Experience

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be under specified to a degree that does not allow useful properties to be checked.