Model checking
Clarke, Edmund M.
Model checking Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith. - Second edition. - Cambridge: The MIT Press, 2018. - xx, 402 pages ; 24 cm. - The cyber-physical systems series .
Includes bibliographical references and index.
9780262038836 (hardcover : alk. paper) = EECS-reference book collection
2018014965
Computer systems--Verification.
QA76.76.V47 / C553 2018
004.21 C551M2
Model checking Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith. - Second edition. - Cambridge: The MIT Press, 2018. - xx, 402 pages ; 24 cm. - The cyber-physical systems series .
Includes bibliographical references and index.
9780262038836 (hardcover : alk. paper) = EECS-reference book collection
2018014965
Computer systems--Verification.
QA76.76.V47 / C553 2018
004.21 C551M2