ATALANTA

Owner

Goods & Services

Providing on-line non-downloadable software for modeling, designing, analyzing, verifying, validating, testing, and optimizing software and hardware systems; Providing on-line non-downloadable software for evaluating, verifying, validating, and testing the safety, cybersecurity, resilience, reliability, fault tolerance, fault containment, error recovery, and performance of software and hardware systems; Providing on-line non-downloadable software for identifying and analyzing software and hardware vulnerabilities, configuration errors, system failures, and security risks; Providing on-line non-downloadable software for generating software code, compliance, certification, and technical documentation, and implementation artifacts; Providing on-line non-downloadable software for diagnosing software and hardware system failures and generating recommendations, counterexamples, design guidance, and corrective actions; Design, development, installation and maintenance of computer software

Downloadable software for modeling, designing, analyzing, verifying, validating, testing, and optimizing software and hardware systems; Downloadable software for evaluating, verifying, validating, and testing the safety, cybersecurity, resilience, reliability, fault tolerance, fault containment, error recovery, and performance of software and hardware systems; Downloadable software for identifying and analyzing software and hardware vulnerabilities, configuration errors, system failures, and security risks; Downloadable software for generating software code, compliance, certification, and technical documentation, and implementation artifacts; Downloadable software for diagnosing software and hardware system failures and generating recommendations, counterexamples, design guidance, and corrective actions