Time-Rover delivers specification-based verification tools for software, embedded systems, and hardware developers. Established in 1993, the company develops software for designers of complex reactive systems.