Speaker Rustan Leino
Host Jaime Puente
Affiliation Microsoft Research
Date recorded 24 May 2012
Common engineering practices today use testing to ensure the quality of software. But relying solely on testing has several well-known drawbacks, such as only testing the program for the given inputs and applying tests only after the entire program has been developed. An idealistic, long-standing dream has been to formally verify the correctness of program, for all inputs. Is there some reality in that dream?
©2012 Microsoft Corporation. All rights reserved.