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 intelli...

Downloadable computer software for the analysis, testing and verification of algorithms; recorded computer software for the analysis, testing and verification of algorithms

Computer software for the analysis, testing and verification of algorithms for use in the financial field, namely, in the design, testing and regulation of algorithmic trading systems