Continuous Reasoning: Scaling the impact of formal methods

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.

You can listen to Continuous Reasoning: Scaling the impact of formal methods online on Radio and Podcast. Open the player on this page to stream the available audio.

Continuous Reasoning: Scaling the impact of formal methods is an episode from Federated Logic Conference (FLoC) 2018 by Oxford University.

This episode is 53:19 long.

This episode was published on Jul 10, 2018.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Federated Logic Conference (FLoC) 2018 when more episodes are available from the podcast feed.