Steve Barriault has over 20 years of experience in Embedded Software. He has worked with Automotive clients from around the world to provide them with innovative solutions to guarantee their software remained safe and secure. At TrustInSoft, Steve, along with his team of Solutions Engineers, designs and implements solutions that enables our clients to prevent runtime errors from making it to production code - and do this faster.

TrustInSoft solutions empower developers and testers to deliver mathematically proven zero-defect software - without the need to be a math major. Through the power of formal methods, TrustInSoft analyzes the code's control and data flows and determines possible ranges of values at different points in the program. Analyses are fast, have no false negatives, and are precise with very low false positives. This enables our clients to ensure their applications are reliable, robust, and impervious to cyberattacks in record time.