Model Checking, Second Edition by Daniel Kroening, Orna Grumberg, Edmund M. Clarke

Model Checking, Second Edition

Cyber Physical Systems

Daniel Kroening, Orna Grumberg, Edmund M. Clarke

424 pages • missing pub info (editions)

nonfiction computer science science informative medium-paced
Powered by AI (Beta)
Loading...

Description

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 mean...

Read more

Community Reviews

Loading...

Content Warnings

Loading...