Tallenna
Systems and Software Verification
Kirjailija:
sidottu, 2001
englanti
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.
- Alaotsikko
- Model-Checking Techniques and Tools
- Kirjailija
- B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
- Kääntäjä
- P. McKenzie
- Painos
- 2001 ed.
- ISBN
- 9783540415237
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 20.6.2001
- Sivumäärä
- 190
