Telit Cinterion has chosen TrustInSoft Analyzer to accelerate the development and research of future generations of IoT modules, AI-powered edge intelligence and 5G connectivity.

This lets Telit Cinterion establish a testing framework for software verification phases. Telit Cinterion developed and integrated a proprietary AI-driven engine with the TrustInSoft Analyzer’s generalisation capabilities to ensure mathematical guarantees against runtime errors across all possible inputs, enhancing both reliability and innovation.

“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 analysed code,” said Gaetano Scognamiglio, vice president at Telit Cinterion (www.telit.com).

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 TrustInSoft CTO Benjamin Monate. “Both its extreme efficiency and accuracy in code verification and validation are allowing development teams to innovate with consistent reliability.”

TrustInSoft (www.trust-in-soft.com) specialises in software analysis tools and services for formal verification of C, C++ and Rust source code to ensure safety, security and reliability.