Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled0262032708, 9780262032704, 9780585385587

Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in only two decades.