U.S. federal trademark · Serial No. 99515107
Computer programming services, namely, synthesis of high assurance industrial-strength software from formal models using either or both of human and artificial intelligence in the nature of design and development of computer software
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.