#11: Alastair Reid – Meeting Developers Where They Are

Building Better Systems - A podcast by Galois, Joey Dodds, Shpat Morina

Categories:

Alastair Reid describes Google's efforts to bring formal methods to developers so that they can be useful today. We cover a recent publication describing their approach, Alastair's project to document all of the papers he read for a year, and a prototype tool that they've been building to demonstrate formal verification tools in rust.