Model Checking(1st Edition)
Authors:
Edmund M Clarke Jr ,Orna Grumberg ,Daniel Kroening ,Doron Peled ,Helmut Veith
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 0262038838, 978-0262038836
Book publisher: The MIT Press
Book Price $0 : 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, For Example, A Hardware Or Software Design—satisfies A Formal Specification Expressed As A Temporal Logic Formula. If The Specification Is Not Satisfied, The Method Identifies A Counterexample Execution That Shows The Source Of The Problem. Today, Many Major Hardware And Software Companies Use Model Checking In Practice, For Verification Of VLSI Circuits, Communication Protocols, Software Device Drivers, Real-time Embedded Systems, And Security Algorithms. This Book Offers A Comprehensive Presentation Of The Theory And Practice Of Model Checking, Covering The Foundations Of The Key Algorithms In Depth. The Field Of Model Checking Has Grown Dramatically Since The Publication Of The First Edition In 1999, And This Second Edition Reflects The Advances In The Field. Reorganized, Expanded, And Updated, The New Edition Retains The Focus On The Foundations Of Temporal Logic Model While Offering New Chapters That Cover Topics That Did Not Exist In 1999: Propositional Satisfiability, SAT-based Model Checking, Counterexample-guided Abstraction Refinement, And Software Model Checking. The Book Serves As An Introduction To The Field Suitable For Classroom Use And As An Essential Guide For Researchers.
Customers also bought these books (17)
Accounting What the Numbers Mean - 9th Edition
David H. Marshall
ISBN: 978-0-07-76261, 0-07-762611-7, 9780078025297, 978-0073527062
$0 $49.00
Spreadsheet Modeling And Decision Analysis A Practical Introduction To Management Science - 5th Edition
Cliff T. Ragsdale
ISBN: 324656645, 324656637, 9780324656640, 978-0324656633
$108.09 $154.41
Business Analytics Methods Models And Decisions - 2nd Edition
James R. Evans
ISBN: 321997824, 978-1119298588, 978-0321997821
$0 $32.77
Seven Decades Of Milk A History Of New Yorks Dairy Industry - 1st Edition
J Dillon John
ISBN: 144651725X, 978-1446517253
$0 $25.99
Sensor Array Signal Processing - 1st Edition
Prabhakar S Naidu
ISBN: 0849311950, 978-0849311956
$85.37 $121.95
Dslr For Beginners A Crash Course In Digital Slr Photography How To Take Better Photos By Understanding Digital Photography Basics - 1st Edition
Holly Ashby
ISBN: 153323390X, 978-1533233905
$0 $7.00
Information Security Opportunities And Limitations - 1st Edition
Thomas Liedtke
ISBN: 3658457104, 978-3658457105
$0 $49.63
Organizer Log Book And Notebook For Passwords And Shit Small Email Address Book With Bookmarks A Z Alphabetical Tabs - 1st Edition
Universal Personal Organiser
ISBN: 1677848979, 978-1677848973
$0 $57.25
Client Centered Business Consulting The Power Of Psychological Understanding - 1st Edition
Federico Addimando
ISBN: 3031428439, 978-3031428432
$0 $49.99
The Iraq War A Military History - 1st Edition
Williamson Murray
ISBN: 0674012801, 978-0674012806
$0 $15.20
Statics Study Pack For Engineering Mechanics Dynamics - 14th Edition
Russell Hibbeler
ISBN: 0134056396, 978-0134056395
$0 $24.22
Judgment Of Paris California Vs France And The Historic 1976 Paris Tasting That Revolutionized Wine - 1st Edition
George M Taber
ISBN: 1452653437, 978-1452653433
$0 $17.00
Seven Decades Of Milk A History Of New Yorks Dairy Industry - 1st Edition
J Dillon John
ISBN: 144651725X, 978-1446517253
$0 $25.99
Popular Among Students (19)
Inequality And Evolution The Biological Determinants Of Capitalism Socialism And Income Inequality - 1st Edition
Charles L Ladner
ISBN: 1664144897, 978-1664144897
$0 $18.99
Hypersonic Aerodynamics - 1st Edition
Robert Wesley Truitt
ISBN: 0826087507, 978-0826087508
$0 $36.94
Predator The Remote Control Air War Over Iraq And Afghanistan A Pilots Story - 1st Edition
Matt J Martin
ISBN: 0760338965, 978-0760338964
$0 $9.54
Digital Control System Analysis And Design - 4th Global Edition
Charles Phillips
ISBN: 1292061227, 9781292061221
$55.39 $79.13
Concise Guide To Software Verification From Model Checking To Annotation Checking - 1st Edition
Marieke Huisman
ISBN: 3031301668, 978-3031301667
$62.99 $89.99
Verification Model Checking And Abstract Interpretation Th International Conference Vmcai 2015 Mumbai India January 12 14 2015 Proceedings - 2015 Edition
Deepak Dsouza
ISBN: 3662460807, 978-3662460801
$0 $54.99
Model Checking Software 12th International Spin Workshop San Francisco Ca Usa August 22 24 2005 Proceedings - 2005 Edition
Patrick Godefroid
ISBN: 3540281959, 978-3540281955
$0 $19.41
Handbook Of Model Checking - 1st Edition
Edmund M Clarke
ISBN: B07D66KYRJ, 978-3319105758
$104.69 $149.56
Model Checking Software 13th International Spin Workshop Vienna Austria March 30 April 1 2006 Proceedings - 1st Edition
Antti Valmari
ISBN: 3540331026, 978-3540331025
$0 $27.70
UML And Object Oriented Design Foundations Understanding Object-Oriented Programming And The Unified Modeling Language - 1st Edition
Karoly Nyisztor
ISBN: 1980818495, 978-1980818496
$0 $5.26
Systems Analysis And Design - Study Guide Edition
Michael L. Gibson
ISBN: 0877095450, 978-0877095453
$0 $58.18
Dependability Benchmarking For Computer Systems - 1st Edition
Karama Kanoun
ISBN: 047023055X, 978-0470230558
$0 $21.99
Applications Of Artificial Intelligence Techniques In Industry 4.0 - 1st Edition
Aydin Azizi
ISBN: 9811326398, 978-9811326394
$0 $24.99
Contextual Computing Models And Applications - 1st Edition
Robert Porzel
ISBN: 3642173950, 978-3642173950
$59.72 $85.32
The Road Towards 6g Opportunities Challenges And Applications A Comprehensive View Of The Enabling Technologies - 1st Edition
Valeria Loscri
ISBN: 3031425693, 978-3031425691
$109.89 $156.99