Clicky

Model checking by Edmund M. Clarke Jr. and similar books you'll love - Bookscovery

Home > Authors > Edmund M. Clarke Jr. > Model checking

Buy at: Bookshop.org Amazon

Recent activity

Rate this book to see your activity here.

5 Books Similar to Model checking by Edmund M. Clarke Jr.

Bookscovery readers who liked Model checking also like 25 Years of Model Checking, Languages : from Formal to Natural and Model Checking, Second Edition. How many of these have you read?

25 Years of Model Checking by Orna Grumberg

Cover of 25 Years of Model Checking
Buy this book at:
Bookshop.org Amazon

Languages : from Formal to Natural by Orna Grumberg

Cover of Languages : from Formal to Natural
Buy this book at:
Bookshop.org Amazon

Model Checking, Second Edition by Orna Grumberg

Cover of Model Checking, Second Edition
Buy this book at:
Bookshop.org Amazon

Formal Techniques for Networked and Distributed Systems - FORTE 2002 by Doron A. Peled

Cover of Formal Techniques for Networked and Distributed Systems - FORTE 2002
Buy this book at:
Bookshop.org Amazon

Time for Verification by Zohar Manna

Cover of Time for Verification
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Model checking

Please sign in to leave a comment