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 Inc.

A specification, validation, and verification tool


Cupertino CA, 95014

Tel: (408) 252 - 2808

Fax: (408) 777 - 8615

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

Email: q@time-rover.com

Time Rover Software specializes in the entire validation and verification process for safety critical software. We provide both experts and tools that will help your team to:

Time Rover has a policy limiting the sale of it's software to the following countries:

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