Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

Continuous Reasoning: Scaling the impact of formal methods

Loading Video...
Duration: 0:53:19 | Added: 10 Jul 2018
Formal reasoning about programs is one of the oldest and most fundamental research directions in computer science. It has also been one of the most elusive.

There has been a tremendous amount of valuable research in formal methods, but rarely have formal reasoning techniques been deployed as part of the development process of large industrial codebases.

This talk describes work in continuous reasoning, where formal reasoning about a (changing) codebase is done in a fashion which mirrors the iterative, continuous model of software development that is increasingly practiced in industry. We suggest that advances in continuous reasoning will allow formal reasoning to scale to more programs, and more programmers. We describe our experience using continuous reasoning with large, rapidly changing codebases at Facebook, and we describe open problems and directions for research for the scientific community.

This a paper with the same title accompanying this talk appears in the LICS’18 proceedings.

People:
Copy and paste this HTML snippet to embed the audio or video on your site: