Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard,F. Laroussinie,A. Petit,P. Schnoebelen,M. Bidoit,A. Finkel,L. Petrucci
B. Berard, F. Laroussinie, A. Petit, P. Schnoebelen, M. Bidoit, A. Finkel, L. Petrucci
-20% with code BOOKS
Shipping in 12-18 days
30-day return policy
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems ... Full description
You May Also Like
TOP
Unreasonable Hospitality: The Remarkable Power of Giving People More Than They Expect
-20% with code BOOKS
In stock at our supplier
TOP
Never Split the Difference: Negotiating as if Your Life Depended on It
-20% with code BOOKS
In stock
TOP
The 7 Habits of Highly Effective People. 30th Anniversary Edition: Powerful Lessons in Personal Change
Jim Collins, Sean Covey, Stephen R. Covey
-20% with code BOOKS
In stock
TOP
Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones
-20% with code BOOKS
In stock at our supplier
TOP
Radical Candor: Be a Kick-Ass Boss Without Losing Your Humanity
-20% with code BOOKS
In stock at our supplier
TOP
The Psychology of Money: Timeless Lessons on Wealth, Greed, and Happiness
-20% with code BOOKS
In stock
TOP
The Infinity Machine: Demis Hassabis, DeepMind, and the Quest for Superintelligence
-20% with code BOOKS
In stock at our supplier
TOP
Vienna: How the City of Ideas Created the Modern World
-20% with code BOOKS
In stock at our supplier
TOP
The Hard Thing about Hard Things: Building a Business When There Are No Easy Answers
-20% with code BOOKS
In stock
TOP
Radical Candor: Be a Kick-Ass Boss Without Losing Your Humanity
-20% with code BOOKS
In stock at our supplier
TOP
Co-Intelligence: Living and Working with AI
-20% with code BOOKS
In stock at our supplier
TOP
The First 90 Days: Proven Straegies for Getting up to Speed faster and smarter
-20% with code BOOKS
In stock at our supplier
TOP
Surrounded by Idiots Revised & Expanded Edition: The Four Types of Human Behavior and How to Effectively Communicate with Each in Business (and in Life)
-20% with code BOOKS
In stock at our supplier
TOP
The Common Good Economy: A New Compass
-20% with code BOOKS
In stock at our supplier
TOP
Berkshire Hathaway Letters to Shareholders: 1965-2024
-20% with code BOOKS
In stock at our supplier
TOP
The Effective Executive: The Definitive Guide to Getting the Right Things Done
-20% with code BOOKS
In stock at our supplier
Description
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this 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.
More Information
| Author | B. Berard, F. Laroussinie, A. Petit, P. Schnoebelen, M. Bidoit, A. Finkel, L. Petrucci |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Release year | 2010 |
| Cover type | Softcover |
| EAN | 9783642074783 |