The Book Quiver
Authors/Edmund M. Clarke, Jr.Orna GrumbergDaniel KroeningDoron PeledHelmut Veith/Model Checking, second edition
Model Checking, second edition
Book profileEnglish (United States)
Book · 1 edition

Model Checking, second edition

EJEdmund M. Clarke, Jr.OGOrna GrumbergDKDaniel KroeningDPDoron PeledHVHelmut Veith
2018
first published
English
language
1
edition in English
424
pages

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

Add to shelfI own this editionReport an error

Editions

1 edition · sort: newest
About the author
Edmund M. Clarke, Jr.1 bookAuthor profile →Orna Grumberg1 bookAuthor profile →Daniel Kroening1 bookAuthor profile →Doron Peled1 bookAuthor profile →Helmut Veith1 bookAuthor profile →