IMANDRA Trademark

Software as a service (SaaS) services featuring software development tools for use in the fields of artificial intelligence, machine learning, program analysis, code governance, reasoning about human language specifications, and discovery of program properties; providing temporary use of non-downloadable software for developing, training, testing, and deploying artificial intelligence models and agents; providing temporary use of non-downloadable software for integration of artificial intelligence into software development environments; platform as a service (PaaS) featuring computer software platforms for artificial intelligence model sharing, collaboration, and deployment; providing information in the field of artificial intelligence technology; consulting services in the field of computer software, artificial intelligence software, machine learning software, and software development; advisory services relating to the design, development, and implementation of artificial intelligence computer hardware and software systems and platforms

Downloadable computer software, namely, software libraries, extensions, and software development kits (SDKs) for use in developing software in the fields of artificial intelligence, machine learning, program analysis, code governance, reasoning about human language specifications, and discovery of program properties; downloadable computer software for use in developing, training, testing, and deploying artificial intelligence models and agents; downloadable computer software for integration of artificial intelligence into software development environments