U.S. federal trademark · Serial No. 78412813 · Reg. No. 3020031
Computer software that ceates executable specifications, formal proof and automatically generated code, and is used by developers to create embedded software used for critical functions in automobiles and other transportation devices like braking systemns and restraint systems
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.