Model checking is a powerful approach for the formal verification of software.
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.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co.
KG Author(s): P.
Schnoebelen Illustration(s): XII, 190 p.
Translator: P.
McKenzie Number of pages: 190 Publication date: 2010 Dimensions: 157 x 233 x 18 Cover type: Paperback / softback.
| Checking | Transition systems as a formal model of systems temporal logic as a formal language for behavioral properties and modelchecking algorithms |
|---|---|
| Publisher | Springerverlag |
| Author(s) | P |
| Illustration(s) | Xii 190 p |
| Translator | P |
| Number of pages | 190 |
| Publication date | 2010 |
| Dimensions | 157 x 233 x 18 |
| Cover type | Paperback softback |
Springer-verlag Berlin And Heidelberg Gmbh & Co. K Systems and software verification. model-checking techniques and tools, softcover reprint of hardcover 1st ed. 2001, paperback/p. schnoebelen
