Model Checking
"Model Checkingis bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. Theauthors include the foremost experts. This is the first trulycomprehensive treatment of a line of research that has gone fromconception to industrial practice in only two decades."R. P. Kurshan, Distinguished Member Technical Staff, Bell Laboratories