California Government Contractors > TIME ROVER, INC.
TIME ROVER, INC.Cupertino, California
Products & Services
Software and hardware verification using Temporal Logic. Run-time verification. Temporal rule checking. Software development of reactive systems and tools. Mixed hardware and software. Software consulting.
Keywords
- Software Testing
NAICS Code(s)
- 511210
- Software Publishers
Found any discrepancies in your company profile?
Company Information
- Company Name:
- TIME ROVER, INC.
- Address:
- 11425 Charsan Ln
- City:
- Cupertino
- State:
- California
- Zip Code:
- 95014-4981
- Phone:
- 408-252-2808
- Contact Person:
- DORON DRUSINSKY
- Contact Title:
- Researcher
- Legal Structure:
- Corporation
- Year Established:
- 1998
- Business Type:
- Research and Development (100 %)
- Sales/Service Area:
- Argentina; Australia; Austria; Belgium; Brazil; Canada; Chile; Costa Rica; Denmark; Ireland; Finland; France; Germany; Greece; Israel; Italy; Japan; Korea, Republic of; Liechtenstein; Luxembourg; Netherlands; Norway; South Africa; Singapore; Spain; Sweden