Model checking /

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.

Bibliographic Details

Main Author:	Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (Author)
Format:	Book
Language:	English
Published:	Cambridge, Massachusetts : MIT Press, [2018]
Edition:	Second edition.
Series:	Cyber-physical systems series.
Subjects:	Computer systems > Verification.