Model checking /
Clarke, Edmund M.,Jr.(Edmund Melson),1945-author.
"An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems"--Publisher's website.
Includes bibliographical references and index.
"An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems"--Publisher's website.
Computer systems
Computer systems