Abstract:

Model Checking did not arise in a historical vacuum. There was an important
practical problem that needed to be solved, namely verification of
concurrent programs, and existing techniques did not scale to programs of
interesting size. I will survey the research that influenced my own
contribution to the development of Model Checking and identify some of the
remaining tasks that need to be solved.