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

Web: http://www.time-rover.com

Email: tri at viewfsm.com

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