C++Now 2025
April 15, 2025
Meet TrustInSoft at C++Now 2025
We are looking forward to meeting you at C++Now 2025 in Aspen, Colorado at the Aspen Center for Physics April 28th-May 2nd, 2025.
Contact us to set up a meeting at the event.
Presentation: Identifying Runtime Errors in Mixed C++ and Rust Codebases Using Formal Methods
Join VP of Technical Business Development at TrustInSoft, Steve Barriault, for his conference session: Identifying Runtime Errors in Mixed C++ and Rust Codebases Using Formal Methods.
Date: Wednesday, April 30th
Time: 3:15 PM
Place: Bethe Hall
This talk explores how formal verification techniques can be adapted to hybrid systems to detect runtime errors both within the language-specific segments and across the language divide. We will also provide a few coded examples to illustrate how formal methods can be leveraged to pinpoint these errors with no false negatives and a low percentage of false positives.