University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Program Verification: a 70+-Year History

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Program Verification: a 70+-Year History

Download to your calendar using vCal

If you have a question about this talk, please contact nobody.

VS2W01 - Vistas in Verified Software

The year 2019 saw the 70th anniversary to Alan Turing’s 1949 paper, “Checking a Large Routine” and the 50th anniversary of Tony Hoare’s paper, “An Axiomatic Basis for Compuer Programming”. In the latter paper, Hoare stated: “When the correctness of a program, its compiler, and the hardware of the computer have all been established with mathematical certainty, it will be possible to place great reliance on the results of the program, and predict their properties with a confidence limited only by the reliability of the electronics.” In this talk, I will review the history of this vision, describing the obstacles, the controversies, and progress milestones. I will conclude with the description of both impressive progress and dramatic failures exhibited over the past few years. 

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Average on weekdays: 8819.07526882 kWh CUED,Board Room DELETED

Other talks

TOWARD AFFORDABLE PREVENTIVE HEALTHCARE: How basic science addresses grand challenges Afternoon Break Title to be confirmed Max Perutz Lecture - Title TBC Title to be confirmed Title TBC
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity