Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
FREE Two-Day Shipping for Students. Learn more |
 Sell Back Your Copy for $10.57
Whether you buy it new on Amazon for $66.11 or somewhere else, you can sell it back through our Book Trade-In Program at the current price of $10.57.
New Price$66.11
Trade-in Price$10.57
Price after
Trade-in$55.54 |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
As mentioned in the foreword, model checking consists in verifying some properties of the model of a system. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
fairness hypotheses, bounded liveness property, global automaton, synchronized product, linear hybrid systems, liveness hypothesis, automaton modeling, printer manager, occurrence graph, reachability properties, model checking, timed automata, model checker, fairness properties, liveness properties, reachability graph, hybrid automata, merged states, timed systems, state explosion problem, timed automaton, resulting automaton, fairness property, reachable states, abstraction methods Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Lecture Notes, Describing Automata, Take Chopstick, Aided Verification, Basic Concepts, Unused Chopsticks, Binary Decision Diagrams New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
As mentioned in the foreword, model checking consists in verifying some properties of the model of a system. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
fairness hypotheses, bounded liveness property, global automaton, synchronized product, linear hybrid systems, liveness hypothesis, automaton modeling, printer manager, occurrence graph, reachability properties, model checking, timed automata, model checker, fairness properties, liveness properties, reachability graph, hybrid automata, merged states, timed systems, state explosion problem, timed automaton, resulting automaton, fairness property, reachable states, abstraction methods Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Lecture Notes, Describing Automata, Take Chopstick, Aided Verification, Basic Concepts, Unused Chopsticks, Binary Decision Diagrams New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 7
books:
See all 7 books this book cites
7
books
cite this book:
See all 7 books citing this book
- Model Checking by Edmund M. Clarke Jr. on 4 pages
- Symbolic Model Checking by Kenneth L. McMillan on page 131, and page 138
- Las Vegas (Eyewitness Top 10 Travel Guide) by Connie Emerson in Back Matter
- Design And Validation Of Computer Protocols by Gerard J. Holzmann on page 144
- Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings (Lecture Notes in Computer Science) by David L. Dill on page 167
See all 7 books this book cites
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... (Lecture Notes in Computer Science) by Yassine Lakhnech on page 165
- Multi-Agent-Based Simulation III: 4th International Workshop, MABS 2003, Melbourne, Australia, July 14th, 2003, Revised Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence) by David Hales on page 41
- Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... Lectures (Lecture Notes in Computer Science) by Marco Bernardo on page 234
- Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) by Annabelle McIver in Back Matter
- Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues) by Dang Van Hung on page 285
See all 7 books citing this book
Books on Related Topics
(learn more)
|
What Other Items Do Customers Buy After Viewing This Item?
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Business & Investing > Industries & Professions > MIS
- Books > Computers & Technology > Computer Science > Artificial Intelligence > Theory of Computing
- Books > Computers & Technology > Computer Science > Software Engineering > Design Tools & Techniques
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > New & Used Textbooks > Business & Finance
- Books > New & Used Textbooks > Computer Science > Artificial Intelligence
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
- Books > New & Used Textbooks > Science & Mathematics > Mathematics
- Books > Science & Math > Mathematics
