Describes a design tool that checks the dynamic behaviour of a design based on use cases. The tool enables system designers to check both the static and dynamic integrity of their designs for object-oriented analysis.