Model checking /
Clarke, E. M.(Edmud M.)
Grumberg, Orna.
Peled, Doron,1962-
Cambridge, MA ; London : MIT,
c1999.
Includes bibliographical references and index.
Computer systems