Why Is Formal Verification in Computer Science So Challenging? 🤔
Discover how researchers use formal verification to ensure bug-free critical programs and why the underlying math problem, the re..., makes this process so difficult.
Quanta Magazine
27.8K views • Mar 15, 2024
About this video
Researchers use a process called formal verification to ensure critical computer programs are free of bugs. Inside this process is a math problem call the reachability problem for vector addition systems. Find out how this problem was solved by computer scientists.
Watch our full video explainer: https://www.youtube.com/watch?v=IzSs_gJDVzI
Read the article: https://www.quantamagazine.org/an-easy-sounding-problem-yields-numbers-too-big-for-our-universe-20231204/
--------
- VISIT our website: https://www.quantamagazine.org
- LIKE us on Facebook: https://www.facebook.com/QuantaNews
- FOLLOW us Twitter: https://twitter.com/QuantaMagazine
@QuantaScienceChannel
#math #computerscience #science
Watch our full video explainer: https://www.youtube.com/watch?v=IzSs_gJDVzI
Read the article: https://www.quantamagazine.org/an-easy-sounding-problem-yields-numbers-too-big-for-our-universe-20231204/
--------
- VISIT our website: https://www.quantamagazine.org
- LIKE us on Facebook: https://www.facebook.com/QuantaNews
- FOLLOW us Twitter: https://twitter.com/QuantaMagazine
@QuantaScienceChannel
#math #computerscience #science
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
27.8K
Likes
1.4K
Duration
1:00
Published
Mar 15, 2024
User Reviews
4.6
(5) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
No specific trending topics match this video yet.
Explore All Trends