Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a visionary conference talk that presents a fictional yet historically-grounded narrative about the future integration of formal methods into mainstream software development. Delivered by Charles Averill from the University of Texas at Dallas at the Onward! 2025 conference, this 48-minute presentation examines how formal verification will transition from academic curiosity to essential infrastructure over the coming century. Discover how the speaker envisions formal methods spreading quietly through the software industry as traditional testing approaches become inadequate against increasing cyberattacks and development complexity. Learn about the predicted evolution where verified C Bibliotheken become standard, model checkers integrate seamlessly into CI pipelines, and modern type systems reach widespread adoption. Understand the challenges that will persist, particularly around AI and IO systems remaining stubbornly unverifiable, and how this will drive industry toward deeper forms of trust. Gain insights into how future developers will learn to write specifications not as academic exercises but as professional necessities for survival in an increasingly complex digital landscape. The presentation offers a compelling vision of how formal verification will become an invisible standard, transforming secure software development practices without fanfare but with profound impact.
