U.S. federal trademark · Serial No. 85205708 · Reg. No. 4062490
Design and development of computer software technologies for use in the fields of formal verification of hardware and software, electronic design automation, cyber security, Boolean satisfiability, solving of constraint satisfaction problems, planning, scheduling, and other computer science and computer engineering applications; Design and development of computer hardware and software; Computer hardware and software consulting services
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.