

“Ensure the cybersecurity and safety of software in a variety of industrial applications in an increasingly digitalized, connected world.”
TrustInSoft is a software publisher that provides a C and C++ source code analyzer that empowers its customers to mathematically guarantee the absence of source code bugs exploitable by hackers. TrustInSoft’s technology combines different formal methods to efficiently and exhaustively detect these errors. TrustInSoft’s clients span different industries including the automotive sector and autonomous vehicles. Automotive norms such as ISO26262 for safety or ISO21434 for cybersecurity tend to increase software development costs. TrustInSoft Analyzer enables cost-effective compliance with these norms by automating some test efforts and detecting source code errors earlier in the development process.
Watch video:
Important: to access the EGERIE video presentation, you must accept all cookies. To accept all cookies, click on the icon at the bottom left of your screen (see below)