Spar
Systems and Software Verification
Forfatter:
innbundet, 2001
Engelsk
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.
- Undertittel
- Model-Checking Techniques and Tools
- Forfatter
- B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
- Oversetter
- P. McKenzie
- Opplag
- 2001 ed.
- ISBN
- 9783540415237
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 20.6.2001
- Antall sider
- 190
