Contractor Directory > 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
See Also
BRUNO, SCOTT Cupertino, Ca
on & off-site software, web & applications development, custom programming, coding, extranet & Intranet services, SEO, hosting, e-mail, interface design,
Strongauth Inc Cupertino, Ca
Encryption, Tokenization and Key Management appliances. Cryptographic engine for encrypting files and storing keys in a key-vault while storing encrypted
LIN, WEIWEN Cupertino, Ca
With extensive experience in IT management and application software development, we provide consulting and software development services. The company is