Software module specification

Eclipse graphical user interface

Automatic C, C++, and Java code

Easier and faster coding than hand written code

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

State-Rover Demos


Diagramatic Tool

Devel. Services

Eclipse plugins; Custom constraint solvers

Generic Verification



and Books

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