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.