U.S. federal trademark · Serial No. 99430968
Software as a service (SaaS) services featuring software for program analysis, code governance, reasoning about specifications in the field of software development and formal verification, and artificial intelligence; software as a service (SaaS) services featuring artificial intelligence (AI) software for formalizing and reasoning about natural language specifications and generating machine-checkable models in software development; providing temporary use of non-downloadable software for developing, testing, and deploying artificial intelligence models and reasoning agents.
Downloadable computer software for program analysis, code governance, reasoning about specifications in the field of software development and formal verification, and artificial intelligence; downloadable computer software using artificial intelligence (AI) for formalizing and reasoning about natural language specifications and generating machine-checkable models in software development; downloadable software libraries and extensions for use in developing, testing, and deploying artificial intelligence models and reasoning agents.
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.