CODELOGICIAN

Owner

Goods & Services

Software as a service (SaaS) services featuring software for program analysis, code governance, reasoning about specifications in the field of software development and source code analysis, and artificial intelligence; software as a service (SaaS) services featuring artificial intelligence (AI) software for translating source code into formal mathematical models, verifying code correctness, performing state-space analysis, and generating test cases; providing temporary use of non-downloadable software for developing, testing, and deploying artificial intelligence models and reasoning agents; file sharing services, namely, providing a website featuring technology enabling users to download electronic files in the nature of software for use in 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 source code analysis, and artificial intelligence; downloadable computer software using artificial intelligence (AI) for translating source code into formal mathematical models, verifying code correctness, performing state-space analysis, and generating test cases; downloadable computer software libraries for use in developing, testing, and deploying artificial intelligence models and reasoning agents; downloadable software extensions for integrated development environments for use in developing, testing, and deploying artificial intelligence models and reasoning agents.