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.
Trending Now