bokomslag Systems and Software Verification
Data & IT

Systems and Software Verification

B Berard M Bidoit A Finkel F Laroussinie A Petit

Inbunden

2179:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 190 sidor
  • 2001
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 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. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
  • Författare: B Berard, M Bidoit, A Finkel, F Laroussinie, A Petit
  • Illustratör: 67 Abb
  • Format: Inbunden
  • ISBN: 9783540415237
  • Språk: Engelska
  • Antal sidor: 190
  • Utgivningsdatum: 2001-06-01
  • Översättare: P McKenzie
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K