TrustInSoft looks back on another successful Embedded World show complete with a presentation about formal methods during the conference and on-demand demos at the booth. We look forward to seeing you next year!
That’s a wrap! TrustInSoft’s team had a blast meeting with so many of you and sharing its latest technology and solutions for the embedded systems industry.
We enjoyed having the opportunity to speak with everyone on a one-on-one basis and during the conference portion of the event.
Technical Presales Consultant Olivier Korach presented on formal methods on behalf of TrustInSoft during the conference. See the slides from his presentation titled: Practical Applications of Formal Methods-Based Code Analysis on Low-Level Embedded Components for Greater Code Security and Safety here.
We would be happy to schedule a follow-up call or demo to discuss how our zero bug solution can benefit your business.
Check out the video below for some of the highlights of the event.