TrustInSoft today announced that its static analysis tool, TrustInSoft Analyzer, is being used by Telit Cinterion to support the development of its next-generation IoT modules, AI-powered edge intelligence, and 5G connectivity solutions.
By integrating TrustInSoft Analyzer into its software verification workflow, Telit Cinterion has established a robust testing framework capable of delivering mathematical guarantees against runtime errors across all possible inputs.
The integration enables Telit Cinterion to accelerate its R&D processes while ensuring proven software soundness and scalability for future connected solutions, including advanced IoT modules, edge computing platforms, and next-generation 5G connectivity.
TrustInSoft Analyzer provides formal verification capabilities that go beyond traditional testing methods, offering exhaustive analysis that can mathematically prove the absence of certain categories of software defects. This approach is particularly valuable in safety-critical IoT and telecommunications applications where software reliability is paramount.
