Formal Analysis in Model Management: Exploiting the Power of CZT

Research output: Contribution to conferencePaperpeer-review


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.
Original languageUndefined/Unknown
Publication statusPublished - 2010

Cite this