TrustInSoft, a global leader in software security and formal verification solutions, has announced that Thales, the French multinational aerospace and defense electronics corporation, has selected TrustInSoft Analyzer to reinforce the cybersecurity and reliability of its future avionics and communication systems.

As software complexity grows within safety- and mission-critical environments, ensuring the absence of memory vulnerabilities and runtime errors becomes paramount. By leveraging TrustInSoft’s code analysis technology, Thales is strengthening its software assurance processes to meet the highest standards of safety and cybersecurity compliance. TrustInSoft Analyzer provides mathematical guarantees of the absence of critical software defects—such as buffer overflows, uninitialized memory access, and integer overflows—through advanced formal methods. This capability helps organizations like Thales verify software robustness with full path and context sensitivity across all execution scenarios.

“Supporting an industry leader like Thales demonstrates the strategic value of mathematically verified software in high-assurance sectors such as aerospace and defense,” said Caroline Guillaume, CEO of TrustInSoft. “Our technology empowers engineering teams to achieve compliance and deliver software that is demonstrably safe, secure, and free from critical vulnerabilities.”

By integrating seamlessly into existing Agile and V-model workflows, TrustInSoft Analyzer enables engineering teams to accelerate validation timelines, reduce the cost of error detection, and support certification efforts under DO-178C, DO-326A, and other rigorous regulatory standards.