Model Checking - Edmund M Clarke Jr., Orna Grumberg Daniel Kroening Doron Peled Helmut Veith (London The mlt press, 2018)
Includes bibliographical references and index.
Keywords: Computer scinece -- Boolean encoding -- Softaware -- Hardware -- Symmetry -- FC