CODELOGICIAN

Downloadable computer software for program analysis, code governance, reasoning about specifications, and artificial intelligence; downloadable software libraries and extensions for use in developing, testing, and deploying artificial intelligence models and reasoning agents.

Software as a service (SaaS) services featuring software for program analysis, code governance, reasoning about specifications, and artificial intelligence; providing temporary use of non-downloadable software for developing, testing, and deploying artificial intelligence models and reasoning agents.