U.S. federal trademark · Serial No. 78181644 · Reg. No. 023150070
Computer software for creating embedded software used for critical functions like autopilots and braking systems for planes and to create executable specifications, formal tests, and automatically generated code
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.