Edmund Clarke 

School of Computer Science
Carnegie Mellon University

Title: Model-checking 

Abstract:  An introduction to model-checking.