Papers

• New Book
• Recent Articles

Services

• Seminars

Company

• About Maya Software
• Contact Us

StateRover Statechart Tool

• * Features
• * StateRover for Android
• * Free Reader version

Latest News...

• StateRover Statechart Tool - Eclipse Version
• March 2007
• 
  
• StateRover for Statechart Animation
• Aug 2007
• 
  
• State-Rover for Google's Android
• Nov 2007
• 
  
• Used by NASA IV&V center
• Feb 2008

About Maya Software

• Time Rover Software specializes in the entire validation and verification process for safety critical software.
• 
  
• More

• Automatic White-Box Testing

• Model-checking using Automatic White-box Test Generation
•