Automatic code generation

Visual debug animation

Graphical debugging

JUnit tests

Assertion statecharts

Statechart constructs

Automatic white box test generator

Advanced software design constructs

Intuitive graphical programming tool

Time-Rover and Maya Software Inc.

A specification, validation, and verification tool

Cupertino CA, 95014

Tel: (408) 657-7821


Email: tri at

    All Content Copyright © 1997-2010 Time-Rover Inc.   All Rights Reserved