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
-40% koodiga BOOKS
Saadetis 12-18 tööpäeva jooksul
30-päevane tagastamisõigus
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 ... Täielik kirjeldus
Võib-olla meeldib sulle ka
TOP
Unreasonable Hospitality: The Remarkable Power of Giving People More Than They Expect
-40% koodiga BOOKS
Meie tarnija laos
TOP
Never Split the Difference: Negotiating as if Your Life Depended on It
-40% koodiga BOOKS
Laos
TOP
The 7 Habits of Highly Effective People. 30th Anniversary Edition: Powerful Lessons in Personal Change
Jim Collins, Sean Covey, Stephen R. Covey
-40% koodiga BOOKS
Laos
TOP
Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones
-40% koodiga BOOKS
Meie tarnija laos
TOP
Radical Candor: Be a Kick-Ass Boss Without Losing Your Humanity
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Psychology of Money: Timeless Lessons on Wealth, Greed, and Happiness
-40% koodiga BOOKS
Laos
TOP
The Infinity Machine: Demis Hassabis, DeepMind, and the Quest for Superintelligence
-40% koodiga BOOKS
Meie tarnija laos
TOP
Vienna: How the City of Ideas Created the Modern World
-40% koodiga BOOKS
Meie tarnija laos
TOP
1873: The Rothschilds, the First Great Depression, and the Making of the Modern World
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Hard Thing about Hard Things: Building a Business When There Are No Easy Answers
-40% koodiga BOOKS
Laos
TOP
The Lean Startup: How Today's Entrepreneurs Use Continuous Innovation to Create Radically Successful Businesses
-40% koodiga BOOKS
Laos
TOP
Radical Candor: Be a Kick-Ass Boss Without Losing Your Humanity
-40% koodiga BOOKS
Meie tarnija laos
TOP
Co-Intelligence: Living and Working with AI
-40% koodiga BOOKS
Meie tarnija laos
TOP
The First 90 Days: Proven Straegies for Getting up to Speed faster and smarter
-40% koodiga BOOKS
Meie tarnija laos
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)
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Common Good Economy: A New Compass
-40% koodiga BOOKS
Meie tarnija laos
TOP
Berkshire Hathaway Letters to Shareholders: 1965-2024
-40% koodiga BOOKS
Meie tarnija laos
Kirjeldus
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.
Lisateave
| Autor | B. Berard, F. Laroussinie, A. Petit, P. Schnoebelen, M. Bidoit, A. Finkel, L. Petrucci |
|---|---|
| Kirjastaja | Springer Berlin Heidelberg |
| Väljalaskeaasta | 2010 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9783642074783 |