Telit Cinterion Selects TrustInSoft Analyzer
February 24, 2026
Paris, France – February 24, 2026 — 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/
About TrustInSoft
TrustInSoft is a leader in advanced software analysis tools and services that specializes in formal verification of C, C++, and Rust source code to ensure safety, security and reliability. Recognized by the US National Institute of Standards and Technology (NIST) for leveraging advanced formal methods, including abstract interpretation, TrustInSoft can mathematically guarantee analyzed software is free of critical runtime errors and vulnerabilities. TrustInSoft serves a diverse range of industries including automotive, aerospace, defence, consumer electronics, and IoT industries.
About Telit Cinterion
Telit Cinterion is a global end-to-end IoT enabler providing complete solutions that reduce time to market and costs, delivering custom designed, ready for market connected devices in addition to maintaining the industry’s broadest portfolio of enterprise-grade wireless communication and positioning modules, cellular MVNO connectivity plans and management services, edge-cloud software and data orchestration, and IoT and Industrial IoT platforms. As the largest western provider pioneering IoT innovation, Telit Cinterion delivers award-winning and highly secure IoT solutions, modules and services for the industry’s top brands.
For more information, follow us on YouTube, Twitter, LinkedIn and Facebook or visit www.Telit Cinterion.com.