TrustInSoft

Static analysis shouldn’t feel like detective work. 🔍❌ Join our webinar next week hosted by Steve Baurriault, where we'll walk through real engineering experience using exhaustive analysis to find every runtime error and integrate it into everyday development workflows. 📅 March 26 ⏰ 4PM CET // 11AM EST Can’t make it live? Sign up and get the replay: trust-in-soft.com/resources/blog…

Last week we shared our April 2026 release announcement and had some great discussions on AI, Rust, and formal verification. 🤝 Throughout these conversations, one thing remained clear: with growing regulatory pressure and increasing code complexity, teams are turning to formal verification to prove the absence of vulnerabilities. Catch all the event highlights in the full recap here: trust-in-soft.com/resources/blog…

Last week, we spent a busy and insightful few days at Embedded World. Here are some highlights from the show floor: 🍊 A sneak peak of our new release of TrustInSoft Analyzer featuring AI-Powered test driver and stub generation, production-grade Rust support, and MC/DC coverage analysis via formal methods. 🍊 How to Use Formal Methods to Detect Runtime Faults in Mixed C, C++ & Rust codebases - presented by Steve Barriault in the main conference 🍊 A second presentation given by Steve Barriault: Making Software Formal Verification Methods a Viable Technique in an Industrial Setting Thanks to everyone who stopped by the booth last week! See you next year. 🔜 Missed us at the event? Connect with us anytime: trust-in-soft.com/contact-us?utm… #ew26

Most viewed on the Read-out Instrumentation Signpost during past seven days: Software verification enhanced. instsignpost.blogspot.com/2026/03/softwa… #Cybersecurity #ArtificialIntelligence_Ai

Last day to grab a coffee and a demo with the team at embedded world! ☕️ 📍Booth 4-340 #ew26 #embeddedworld

Software verification enhanced. instsignpost.blogspot.com/2026/03/softwa… #Cybersecurity #ArtificialIntelligence_Ai

Here’s a sneak peak at what Steve Barriault will be discussing during his last speaking session this afternoon at the embedded world conference. 👀 Title: Making Software Formal Verification Methods a Viable Technique in an Industrial Setting 🕓 4PM 📍 Room Kiew #ew26 #embeddedworld

Let us help you with your #ew26 merch collection. 🧦 Meet us at booth 3-340. #embeddedworld

We’re ready for a busy day 2 at embedded world! Need a pick me up? We’ve got coffee and other goodies to keep your energy up through day 2. Join us at booth 4-340.🤝 #ew26 #embeddedworld

Come find us… we’re hard to miss. 🍊😉 (Booth 4-340👏) #ew26 #embeddedworld

📣 PRESS RELEASE: TrustInSoft Announces AI-Powered Advancements in April 2026 Release “Development teams from IoT, automotive, and defense will benefit from the ability to scale their C, C++ and Rust code assurance more effectively by combining the efficiency of AI and formal methods.” - Caroline GUILLAUME , CEO of TrustInSoft. Read more: trust-in-soft.com/resources/blog…

Day 1 here at Embedded World! Come have a coffee with us at booth 4-340, win some merch, or grab a demo. 🎮 #ew26 #embeddedworld

Looking for mathematically proven software safety at Embedded World? 👀🍊Find the bright orange TrustInSoft booth 4-340. We’ll be showcasing live demos verifying embedded C, C++ and Rust code, detecting memory safety issues, runtime errors, and undefined behavior before they reach production. 📅 Date: March 10-12 📍 Location: Nürnbergmesse Book a meeting with our team at the booth: trust-in-soft.com/resources/blog… Also stop by for some coffee & a chance to win some merch by playing the Undefined Behavior Quest!☕🎮 See you there!

How do you guarantee the safety of a system where different languages interact? Come visit us at Booth 4-340 at Embedded World to get some answers and ask some tailored questions of your own! 💬 Read more: bit.ly/4rNTs8j #ew26

Telit Cinterion selects TrustInSoft Analyzer to advance next-gen IoT and 5G connectivity with mathematically proven code safety. comparethecloud.net/news/telit-cin…

Telit Cinterion bringing mathematically proven code safety to IoT and 5G connectivity via TrustInSoft. As connected devices scale, software integrity becomes non-negotiable. comparethecloud.net/news/telit-cin…

@telitcinterion selects TrustInSoft Analyser to advance next-gen IoT 📶 Telit Cinterion has chosen TrustInSoft Analyser to accelerate the development and research of future generations of IoT modules 👉 Learn more here: iotinsider.com/products/telit… #IoTInsid iotinsider.com/products/telit…

TrustInSoft Analyzer has been shortlisted for the Electronics Excellence Awards under the Software category! We’re proud to see our team’s hard work recognized as we continue advancing our tool to deliver mathematical guarantees of code safety and security across C, C++, and Rust. 🧡 #ew26

Software Category Announcement 📣 We are excited to announce that @TrustInSoft’s Analyser has been shortlisted for the Electronics Excellence Awards under the Software category! Find out more about the TrustInSoft Analyser 👇 electronicspecifier.com/news/awards/ee… #ElectronicSpecifier

Can formal verification actually work in real industrial development?💭 Steve Barriault from TrustInSoft will explain in his conference session at Embedded World 2026 how companies apply formal methods in production environments to achieve zero-bug software in safety-critical embedded systems. 🛰️ 🎙️ Title: Making Software Formal Verification Methods a Viable Technique in an Industrial Setting 📅 Date: March 11 🕓 Time: 4PM 👋 Continue the conversation with us at booth 4-340. We'll have live demos running throughout the event. Looking to go deeper? Don't miss this opportunity to chat with our experts about your projects: zurl.co/Hmgso