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:

• create the right product (validation).
• create the product right (verification).

Our methodology and technology are based on the Unified Modeling Language (UML) and are currently in active use by NASA IV and V center and the national Missile Defense development team.