WEBINAR DETAILS
  • About
    Please note: This session is part of our IoT Device Security Virtual Conference. Learn more and register for the full event here.

    Traditional testing of IoT device software can leave subtle bugs undetected, leading to vulnerabilities.

    Today's formal methods mathematically guarantee code security and quality, and the absence of bugs.

    Over the last decade, mathematical methods have been democratized to go beyond formal verification of mission-critical software applications in industries like aeronautics. This NIST-recognized technology is now mass-market. It is increasing the security and code quality of devices like smartphones, game consoles, and smart meters.

    This presentation will introduce how formal methods differ from traditional testing and the benefits they bring in practical applications for connected devices.
  • Price
    Free
  • Language
    English
  • OPEN TO
    Anyone with the event link can attend
  • Dial-in available
    (listen only)
    Not available.
FEATURED PRESENTERS