Samuel Pollard - Formal Verification of High Consequence Systems - IPAM at UCLA
Recorded 17 September 2026. Samuel Pollard of Sandia National Laboratories presents "Formal Verification of High Consequence Systems" at IPAM's PDEs: Verification, Mathematics, and Algorithms in the Age of AI workshop.Abstract: High consequence systems are systems where a single failure can have catastrophic consequences. Sandia National Laboratories develops high consequence systems and uses a variety of verification and validation (V&V) techniques to ensure safe, robust, and secure operation of these systems. This talk focuses on one aspect of V&V called formal methods and gives an overview of its use at Sandia. We discuss two large verification efforts at the labs: Q Framework and foundational verification in Rocq. Q Framework provides model based systems engineering verification using model checking, refinement proofs, and automated reasoning. Foundational verification includes formal proofs of C programs using the Verified Software Toolchain and CompCert. We conclude with a discussion of research projects at Sandia including automated reasoning for floating point error analysis and probabilistic programming languages for hardware fault tolerance.
Learn more online at: https://www.ipam.ucla.edu/programs/workshops/pdes-verification-mathematics-and-algorithms-in-the-age-of-ai/?tab=overview Receive SMS online on sms24.me
TubeReader video aggregator is a website that collects and organizes online videos from the YouTube source. Video aggregation is done for different purposes, and TubeReader take different approaches to achieve their purpose.
Our try to collect videos of high quality or interest for visitors to view; the collection may be made by editors or may be based on community votes.
Another method is to base the collection on those videos most viewed, either at the aggregator site or at various popular video hosting sites.
TubeReader site exists to allow users to collect their own sets of videos, for personal use as well as for browsing and viewing by others; TubeReader can develop online communities around video sharing.
Our site allow users to create a personalized video playlist, for personal use as well as for browsing and viewing by others.
@YouTubeReaderBot allows you to subscribe to Youtube channels.
By using @YouTubeReaderBot Bot you agree with YouTube Terms of Service.
Use the @YouTubeReaderBot telegram bot to be the first to be notified when new videos are released on your favorite channels.
Look for new videos or channels and share them with your friends.
You can start using our bot from this video, subscribe now to Samuel Pollard - Formal Verification of High Consequence Systems - IPAM at UCLA
What is YouTube?
YouTube is a free video sharing website that makes it easy to watch online videos. You can even create and upload your own videos to share with others. Originally created in 2005, YouTube is now one of the most popular sites on the Web, with visitors watching around 6 billion hours of video every month.
