Telit Cinterion, an end-to-end IoT solutions enabler, has chosen TrustInSoft Analyser to accelerate the development and research of future generations of IoT modules, AI-powered Edge intelligence, and 5G connectivity.
This strategic decision enabled Telit Cinterion to establish a robust testing framework for software verification phases. Telit Cinterion developed and integrated a proprietary AI-driven engine with the TrustInSoft Analyser’s advanced generalisation capabilities, to ensure mathematical guarantees against runtime errors across all possible inputs, enhancing both reliability and innovation in its solutions.
“By integrating TrustInSoft Analyser into our software verification process, we are able not only to significantly accelerate our AI-integrated processes, but we also have full confidence in the results thanks to the guarantees of soundness and reliability of the analysed code,” said Gaetano Scognamiglio, VP of IoT Modules R&D.
TrustInSoft Analyser empowered the development team to accelerate validation times, provide exhaustive static analysis, and guarantee the absence of critical software defects with direct integration with their existing workflows.
“TrustInSoft Analyser is evolving and scaling,” said CTO Benjamin Monate, “Both its extreme efficiency and accuracy in code verification and validation are allowing development teams to innovate with consistent reliability.”
Find TrustInSoft at booth 4-340 at Embedded World in Nuremberg, Germany 10-12, March 2026.
