WEBINAR DETAILS
  • When
    Add to calendar
  • About
    Abstract: AI coding assistants are generating C, C++, and Rust faster than teams can review it. In this webinar, we'll show you how to close that gap using the best-in-class software verification methods there are. We'll show you how TrustInSoft Analyzer runs exhaustive formal verification directly against diffs and pull requests – no matter who or what produced them. It delivers a proof-of-absence report as hard evidence – not a confidence score – that a change is free of undefined behavior before it merges. As AI accelerates how fast code gets written, TISA proves what's actually safe to ship.

    Sponsored by:
  • Duration
    1 hour
  • Price
    Free
  • Language
    English
  • OPEN TO
    Everyone
  • Dial-in available
    (listen only)
    Not available.
FEATURED PRESENTERS
  • Webinar hosting presenter

    Sabine Devins

    Product Marketing Manager, TrustInSoft
    Sabine Devins is product marketing manager at TrustInSoft. She has been working in the space of embedded and safety-critical product development for more than 5 years. Previously, she was part of the team that brought Rust to critical safety and...
    Full Profile
  • Webinar hosting presenter

    Morgan Mundell

    Solutions Engineer, TrustInSoft
    Morgan Mundell is a solutions engineer at TrustInSoft, bridging the gap between customers and technical experts. Her role centers around making TrustInSofts formal verification technology accessible, actionable, and valuable for users.
    She has...
    Full Profile
  • Webinar hosting presenter

    Rich Nass

    Executive Vice-President, Brand Director, Embedded Franchise, OpenSystems Media
    Full Profile