by
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening
Language: English
Release Date: November 9, 2018
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.
Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing,...