Systems and Software Verification : Model-Checking Techniques and Tools /
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 desc...
Full description
Bibliographic Details
| Main Author: |
Bérard, Béatrice |
|---|
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Bidoit, Michel,
Finkel, Alain,
Laroussinie, François,
Petit, Antoine,
Petrucci, Laure,
Schnoebelen, Philippe,
McKenzie, Pierre |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2001.
|
|---|
| Subjects: | |
|---|
| Online Access: | Connect to the full text of this electronic book
|
|---|