Capability

software & systems analysis

Suppliers: 1
States & provinces: 1
Countries: 1

1 software & systems analysis supplier across 1 states and provinces in 1 country. Profiles show capabilities, materials, certifications, and facility locations so you can compare shops and build a shortlist.

Suppliers

Galois is an employee-owned company that for more than 25 years has combined mathematical rigor with curious creativity to guarantee trustworthiness in critical systems. Its computer scientists, cryptographers, mathematicians, and cognitive scientists conduct research and development, applying formal analysis techniques to design and verify critical software systems. Clients include NASA, DARPA, Amazon, and the Department of Defense.

advanced cryptographyAI/ML and data scienceDigital Engineeringformal methodsformal verificationresearch & development

Related capabilities

Other processes offered by the shops that list software & systems analysis.

advanced cryptography (1)
AI/ML and data science (1)
Digital Engineering (1)
formal methods (1)
formal verification (1)
research & development (1)

Browse all capabilities

software & systems analysis

Suppliers

GALOIS INC

Related capabilities