CODELOGICIAN

Owner

Goods & Services

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