[Lemma 1] ClawZ

The ClawZ project produced a research prototype of a tool that translates between the Simulink graphical notation for expressing control law models and the Z notation. The project began in Spring of 1999. The ideas have since been refined and enhanced in the light of experience on case studies and real-life examples. The development of ClawZ was originally sponsored by QinetiQ . CLawZ®, the commercial successor to the prototype tool, is developed and maintained by D-RisQ.

The following documents give more information on the ClawZ research project.

The following is a paper on ClawZ presented at ICFEM 2000:

For more information on CLawZ® and related technologies, see D-RisQ's portfolio of software tools.


Lemma 1 would like to thank Cambridge Control Ltd. for providing software and for their interest and assistance in the project.

Created by Rob Arthan [rda at lemma-one dot com]
Last updated: $Date: 2015/10/30 11:41:11 $
[Lemma 1]