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.