Telit Cinterion, an end-to-end IoT solutions enabler, has chosen TrustInSoft Analyzer 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 Analyzer’s advanced generalization capabilities, to ensure mathematical guarantees against runtime errors across all possible inputs, enhancing both reliability and innovation in its solutions.
“By integrating TrustInSoft Analyzer 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 analyzed code,” said Gaetano Scognamiglio, VP of IoT Modules R&D.
TrustInSoft Analyzer 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 Analyzer 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 March 10-12, 2026.
Learn more about TrustInSoft Analyzer at our website: https://www.trust-in-soft.com/
Read other recent instrumentation news: https://instrumentation.co.uk/category/news/
