Spara
Systems and Software Verification
Författare:
häftad, 2010
Engelska
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.
- Undertitel
- Model-Checking Techniques and Tools
- Författare
- B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
- Översättare
- P. McKenzie
- Upplaga
- Softcover reprint of hardcover 1st ed. 2001
- ISBN
- 9783642074783
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2010-12-15
- Sidor
- 190
