Software Correctness

Our software correctness tools guarantee that your systems do exactly what you want, and no more.

In today’s complex, mission-critical environments, hidden defects and security gaps in software are an unaffordable liability. Traditional test-based validation techniques aren’t sufficient to provide the high-confidence assurance guarantees that are required. Developers and evaluators need the ability to provide rigorous evidence of software correctness that supports the creation of enhanced functionality for demanding environments.

The Galois software correctness portfolio includes capabilities in program understanding, code analysis, and software provenance. And to bring these technologies to bear on complex software systems, we also offer frameworks for modeling and assessing trust relationships between system components.


Contact Software Correctness

Connect directly with our Software Correctness team to learn more about our work, process, and partnerships. We try to respond to general inquiries within one business day; for inquiries sent to a team lead, please allow more time for a reply.


Technical Areas