U.S. federal trademark · Serial No. 86432344 · Reg. No. 4793502
Scientific and technological services, namely, technology research and engineering in the fields of software applications, system engineering, automated reasoning, cybersecurity, trusted systems, and cyber physical systems; Scientific and technological research, namely, development and design of software applications, trusted computer systems, and cyber physical computer systems; Scientific and technological research, namely, development and design of software in the fields of system engineering, automated reasoning, and cybersecurity
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.