Introductory webinar: Static code analysis with TrustinSoft Analyzer!

Webinar: Introduction to trustInSoft Analyzer

Live webinar with Jean-François Pouilly from TrustInSoft

How TrustInSoft analyzer puts formal methods at the fingertips of the C/C++ developer to integrate them in the development workflow.

The presentation introduces some key concepts of TrustInSoft Analyzer such as soundness, exhaustivity, hardware aware, control flow and data flow integrity. And how they fit with industrial goals.

We are pleased that TrustInSoft is introducing its tool at the start of our partnership. Don't miss the opportunity and register today.

» Registration